Einführung in die Programmverifikation : Theorie Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL
5 Angebote vergleichen
Preise | 2013 | 2014 | 2015 |
---|---|---|---|
Schnitt | € 23,48 | € 8,31 | € 6,10 |
Nachfrage |
1
Symbolbild
Einführung in die Programmverifikation - Theorie Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL - (1992)
DE US
ISBN: 3411159715 bzw. 9783411159710, in Deutsch, Spektrum Akadem.Verlag, gebraucht.
Von Händler/Antiquariat, Akademische Buchhandlung Woetzel e.K., 67269 Grünstadt.
1992 03 304 S. Unbekannter Einband 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, gebraucht; wie neu.
1992 03 304 S. Unbekannter Einband 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, gebraucht; wie neu.
2
Symbolbild
Einführung in die Programmverifikation, - Theorie Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL -
DE US
ISBN: 9783411159710 bzw. 3411159715, in Deutsch, Spektrum Akadem.Verlag, gebraucht.
Von Händler/Antiquariat, Akademische Buchhandlung Woetzel [50909717], Grünstadt, Germany.
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.
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.
3
Symbolbild
Einführung in die Programmverifikation - Theorie Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL - (1992)
DE US
ISBN: 3411159715 bzw. 9783411159710, in Deutsch, Spektrum Akadem.Verlag, gebraucht.
Von Händler/Antiquariat, Akademische Buchhandlung Woetzel e.K., 67269 Grünstadt.
1992 Unbekannter Einband 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, gebraucht; wie neu.
1992 Unbekannter Einband 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, gebraucht; wie neu.
4
Symbolbild
Einführung in die Programmverifikation. Theorie Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal (1993)
DE PB US
ISBN: 9783411159710 bzw. 3411159715, in Deutsch, Duden, Mannheim/Leipzig/Wien/Zürich, Deutschland, Taschenbuch, gebraucht.
Von Händler/Antiquariat, getbooks GmbH [55883480], Idstein, HE, Germany.
304 Seiten Gepflegtes Gebraucht-/Antiquariat***emplar. Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 558035.01 Sprache: de Gewicht in Gramm: 322.
304 Seiten Gepflegtes Gebraucht-/Antiquariat***emplar. Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 558035.01 Sprache: de Gewicht in Gramm: 322.
5
Einführung in die Programmverifikation. Theorie und Anwendung der Hoareschen Met
DE US
ISBN: 9783411159710 bzw. 3411159715, in Deutsch, Duden, Mannheim/Leipzig/Wien/Zürich, Deutschland, gebraucht.
Lieferung aus: Deutschland, Lieferart: Free, Lieferung: Australien, Nord, Süd und Mittelamerika, Europe, Kontinentales Asien, Artikelstandort: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, getbooks-de - getbooks-de-24.
Festpreisangebot.
Von Händler/Antiquariat, getbooks-de - getbooks-de-24.
Festpreisangebot.
Lade…