Program verification
Francez, Nissim
ISBN
-
Uitgever
Addison-Wesley 1992 cloth
Taal
Maak uw keuze
Categorie
science,mathematics
Meer info
312 pp. ISBN (9780201416084) (code Sc-57)
Extra informatie
-
Heeft u vragen over het boek? Hier kunt u een vraag stellen.