Einführung in die Programmverifikation: Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL
Mannheim [u.a.]: BI-Wiss.-Verl, 1992
Monographie, Gedruckte Ressource
- 300 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Einführung in die Programmverifikation: Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL
|
---|---|
Verantwortlichkeitsangabe: | von Bernhard Hohlfeld und Werner Struckmann |
Autor/in / Beteiligte Person: | Hohlfeld, Bernhard ; Struckmann, Werner |
Verwandtes Werk: | |
Veröffentlichung: | Mannheim [u.a.]: BI-Wiss.-Verl, 1992 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 300 S. : graph. Darst. |
ISBN: | 3411159715 kart. : ca. DM 38.00 |
Schlagwort: |
|
Sonstiges: |
|