Description
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
Détails du livre
Format
Broché
Pages
281 pages
Langue
Anglais
Publié
janv. 1, 1986
Éditeur
Prentice Hall
Éditions
2 éditions
ISBN-10
0137291469
ISBN-13
9780137291465