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