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
- Kontakt zum HerstellerNicht verfügbar
Suchergebnisse für Einführung in die Programmverifikation. Theorie und...
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. Bestandsnummer des Verkäufers 38615832/3
Anzahl: 2 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 4 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. Bestandsnummer des Verkäufers 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: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Deutschland
Verkäuferbewertung 4 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. Bestandsnummer des Verkäufers 20983
Anzahl: Mehr als 20 verfügbar