Verification of sequential and concurrent programs

Door: Apt, Krzysztof R and Ernst-Rüdiger Olderog

---

• ISBN:
• Uitgever: Springer 1997 cltoh
• Taal:
• Categorie: science
• Details: 2nd edition, 364 pp. ISBN (9780387948966) (code Sc-36)
• Extra informatie:
• € 35.00