Beskrivning
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
Bokdetaljer
Format
Pocketbok
Sidor
281 sidor
Språk
Engelska
Publicerad
jan 1, 1986
Förlag
Prentice Hall
Upplagor
2 utgåvor
ISBN-10
0137291469
ISBN-13
9780137291465