Suchfeld einblenden
Person Struckmann, Werner
1 Treffer
Seite < 1 >
Hohlfeld, Bernhard: Einführung in die Programmverifikation
: Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL / von Bernhard Hohlfeld und Werner Struckmann. - Mannheim : BI-Wiss.-Verl., 1992. - 300 S.; 21 cm - (Reihe Informatik; Bd. 88)
ISBN 978-3-411-15971-0 / 3-411-15971-5 kart. : DM 38.00
Literaturverz. S. 287 - 295
Quelle: DNB
Seite < 1 >
