A.M. · C.A. · C.A. Middelburg · C.M.
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Logic and Specifications: Extending VDM-SL for Advanced Formal Specification | 978-0-412-48680-7 (0-412-48680-6) | 1980 | ||
| Notations for Software Design | 978-3-540-19902-1 (3-540-19902-0) | 1994 | Loe M.G. Feijs · Hans B.M. Jonkers | |
| Semantics of Specification Languages : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The ... 1993 | 978-3-540-19854-3 (3-540-19854-7) | 1994 | Derek J. Andrews · Jan F. Groote | |