Verwandte Artikel zu Einführung in die Programmverifikation. Theorie und...
Einführung in die Programmverifikation. Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal - Softcover
- ISBN 10 3411159715
- ISBN 13 9783411159710
- EinbandTapa blanda
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Einführung in die Programmverifikation.
Verlag:
Mannheim, BI-Wiss.-Verlag, 1992
ISBN 10: 3411159715
ISBN 13: 9783411159710
Gebraucht
Softcover
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. 304 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 93A43 3411159715 Sprache: Deutsch Gewicht in Gramm: 335. Artikel-Nr. 2409997
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Einführung in die Programmverifikation - Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL -
Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
03. Zustand: Wie neu. 1992. 304 S. Dieses Buch behandelt die wichtigste Methode zur Verifikation von Programmen - das HOARE-Kalkül - durchgängig von den theoretischen Grundlagen bis hin zu den praktischen Anwendungen. Zu Beginn wird das zum Verständnis der Hoareschen Methode notwendige ma Sprache: Deutsch. Artikel-Nr. 20983
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Einführung in die Programmverifikation - Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL -
Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
03. Zustand: Wie neu. 1992. 304 S. Dieses Buch behandelt die wichtigste Methode zur Verifikation von Programmen - das HOARE-Kalkül - durchgängig von den theoretischen Grundlagen bis hin zu den praktischen Anwendungen. Zu Beginn wird das zum Verständnis der Hoareschen Methode notwendige ma Sprache: Deutsch. Artikel-Nr. 14850
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Einführung in die Programmverifikation. Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen, Geknickt. | Sprache: Deutsch | Produktart: Bücher. Artikel-Nr. 38615832/3
Anzahl: 3 verfügbar