Einführung in die Programmverifikation von Bernhard Hohlfeld | Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal | ISBN 9783860259382

Einführung in die Programmverifikation

Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal

von Bernhard Hohlfeld und Werner Struckmann, herausgegeben von Karl H Böhling, Ulrich Kulisch und Hermann Maurer
Mitwirkende
Autor / AutorinBernhard Hohlfeld
Autor / AutorinWerner Struckmann
Herausgegeben vonKarl H Böhling
Herausgegeben vonUlrich Kulisch
Herausgegeben vonHermann Maurer

ISBN-Daten

Archivierter Titel×
Erscheinungsjahr
1993
ISBN-10
3-86025-938-5
Abmessungen
21 x 14 cm
Lieferstatus
nicht verfügbar
kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen