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