D B · D. Björner · Dines Bjorner
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings | Taschenbuch | 978-3-540-10007-2 | 2008 | ||
| Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings | Gebunden | 978-3-540-53961-2 | 1991 | Erich J. Neuhold · Manfred Paul · K.R. Apt · E. Astesiano · M. Broy · L. Cardelli · P.D. Mosses | |
| Formal Specification and Software Development | Hardcover | 978-0-13-329003-5 | 1982 | etc. | |
| The Vienna Development Method: The Meta-Language | Taschenbuch | 978-3-540-08766-3 | 2008 | C. B. Jones | |
| The Vienna Development Method: The Meta-Language | Paperback | 978-0-387-08766-5 | " | ||
| Towards a Formal Description of Ada | Taschenbuch | 978-3-540-10283-0 | 2008 | O.N. Oest | |
| Vdm'87: Vdm-A Formal Method at Work: Vdm-Europe Symposium 1987 | Paperback | 978-0-387-17654-3 | 1987 | ||
| Vdm '90: Vdm and Z-Formal Methods in Software Development | " | 978-0-387-52513-6 | 1990 | C. A. R. Hoare | |