Beschrijving
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
Boekdetails
Formaat
Paperback
Pagina's
281 pagina's
Taal
Engels
Gepubliceerd
jan. 1, 1986
Uitgever
Prentice Hall
Edities
2 edities
ISBN-10
0137291469
ISBN-13
9780137291465