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
