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

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
Buchcover Einführung in die Programmverifikation | Bernhard Hohlfeld | EAN 9783411159710 | ISBN 3-411-15971-5 | ISBN 978-3-411-15971-0

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
12 Abb.

ISBN-Daten

Archivierter Titel×
Einband - flex.(Paperback)
 
Softcover
304 Seiten
Erscheinungsjahr
1993
ISBN-10
3-411-15971-5
Abmessungen
21 x 14 cm
Lieferstatus
nicht verfügbar
Buch 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