Verification of sequential and concurrent programs
Apt, Krzysztof R and Ernst-Rüdiger Olderog
ISBN
-
Uitgever
Springer 1997 cltoh
Taal
Maak uw keuze
Categorie
science,mathematics
Meer info
2nd edition, 364 pp. ISBN (9780387948966) (code Sc-36)
Extra informatie
-
Heeft u vragen over het boek? Hier kunt u een vraag stellen.