Verification of sequential and concurrent programs
Door: Apt, Krzysztof R. and Ernst Rüdiger Olderog
- ISBN:
- Uitgever: Springer 1991 cloth
- Taal: ------------------
- Categorie: science
- Details: 441 pp. ISBN (3540975322) (code Sc-60)
- Extra informatie:
-
€ 32.00
