Verification of sequential and concurrent programs
Apt, Krzysztof R. and Ernst Rüdiger Olderog
ISBN
-
Uitgever
Springer 1991 cloth
Taal
Maak uw keuze
Categorie
science,mathematics
Meer info
441 pp. ISBN (3540975322) (code Sc-60)
Extra informatie
-
Heeft u vragen over het boek? Hier kunt u een vraag stellen.