Beschreibung
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
Buchdetails
Format
Taschenbuch
Seiten
281 Seiten
Sprache
Englisch
Veröffentlicht
Jan 1, 1986
Verlag
Prentice Hall
Ausgaben
2 Ausgaben
ISBN-10
0137291469
ISBN-13
9780137291465