The foundations of program verification
Loeckx, Jacques and Kurt Sieber
ISBN
-
Uitgever
John Wiley & Sons 1984 cloth
Taal
Maak uw keuze
Categorie
science,mathematics
Meer info
230 pp. Wiley-Teubner Series in Computer Science ISBN (3519021013) (code Sc-51)
Extra informatie
-
Heeft u vragen over het boek? Hier kunt u een vraag stellen.
