VDM '87 VDM - a formal method at work

Door: Bjorner, D. et al (editors)

---

• ISBN:
• Uitgever: Springer 1987 sewed
• Taal:
• Categorie: science
• Details: 422 pp. Lecture notes in computer Science nr 252 ISBN (3540176543) (code Sc-174)
• Extra informatie:
• € 35.00