Formal Development of Programs and Proofs (The Ut Year of Programming Series) - Hardcover

 
9780201172379: Formal Development of Programs and Proofs (The Ut Year of Programming Series)
Hardcover
ISBN 10: 0201172372 ISBN 13: 9780201172379
Verlag: Addison Wesley, 1989
Verlag
Addison Wesley
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
0201172372
ISBN 13 
9780201172379
Einband
Gebundene Ausgabe
Anzahl der Seiten
242
Herausgeber
Dijkstra Edsger W.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
GS1 Slovakia
https://www.gs1sk.org

Nantersk� 23
Žilina
010 08
Slowakei