Descrizione
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
Dettagli del libro
Formato
Brossura
Pagine
281 pagine
Lingua
Inglese
Pubblicato
gen 1, 1986
Editore
Prentice Hall
Edizioni
2 edizioni
ISBN-10
0137291469
ISBN-13
9780137291465