Treffer: Einführung in die Programmverifikation
Titel:
Einführung in die Programmverifikation : Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL / von Bernhard Hohlfeld und Werner Struckmann
Verantwortlich:
Veröffentlicht:
Mannheim [u.a.] : BI-Wiss.-Verl., 1992
Umfang:
300 S.
Publikationstyp:
Sprache:
Deutsch
Schriftenreihe/Mehrbändiges Werk:
Reihe Informatik ; 88
alle Bände anzeigen
alle Bände anzeigen
Schlagworte:
ISBN:
3411159715
Lokale Klassifikationen: