| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 1-10 January 1992 | Paperback | | 978-0-387-19752-4 | 1992 | Roger C. Shaw |
| 5th Refinement Workshop: Proceedings Of The 5Th Refinement Workshop, Organised By Bcs-Facs, London, 8-10 January 1992 | Taschenbuch | | 978-3-540-19752-2 | 1993 |
| Case Studies in Systematic Software Development | Paperback | | 978-0-13-116088-0 | 1990 |
| Communicating Sequential Processes The First 25 Years: Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 Revised Invited Papers ... Notes in Computer Science , Band 3525) | Taschenbuch | | 978-3-540-25813-1 | 2009 | Ali E. Abdallah · Jeff W. Sanders |
| Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday | " | | 978-3-642-24540-4 | 2012 |
| FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, ... Notes in Computer Science , Band 1313) | " | | 978-3-540-63533-8 | 2009 | John Fitzgerald · Peter Lucas |
| Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays | " | | 978-3-540-75220-2 | 2007 |
| Methods, Models and Tools for Fault Tolerance | " | | 978-3-642-00866-5 | 2009 | Michael Butler · Alexander Romanovsky · Elena Troubitsyna |
| Object Orientation with Parallelism and Persistence | Hardcover | | 978-0-7923-9770-0 | 1996 | Burkhard Freitag · Christian Lengauer · Hans-Jörg Schek |
| Software Development: A Rigorous Approach | " | | 978-0-13-821884-3 | 1980 |
| Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective | Paperback | | 978-1-84628-110-5 | 2006 | Denis Besnard · Cristina Gacek |
| Systematic Software Development Using Vdm | " | | 978-0-13-880733-7 | 1990 |
| Systematic Software Development Using V. D. M. | " | | 978-0-13-880717-7 | 1986 |
| Systematic Software Development Using V. D. M. | Hardcover | | 978-0-13-880725-2 | 1986 |
| Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings | Taschenbuch | | 978-3-540-75290-5 | 2007 |
| VDM | Broché | | 978-2-225-82812-6 | 1997 |