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.