| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings | Taschenbuch | | 978-3-642-30884-0 | 2012 | John Fitzgerald · Stefania Gnesi · Sarfraz Khurshid · Michael Leuschel · Steve Reeves · Elvinia Riccobene |
| Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches | Hardcover | | 978-0-521-77184-9 | 2001 | Howard Bowman |
| Formal Methods for Open Object-Based Distributed Systems: Volume 2: Proceedings of the 2nd International Workshop on Formal Methods for Open ... in Information and Communication Technology) | " | | 978-0-412-82040-3 | 1997 | " |
| Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ... Notes in Computer Science, Band 4574) | Taschenbuch | | 978-3-540-73195-5 | 2007 |
| Hana Highway Mile by Mile: The Road to Hana & Beyond | Paperback | | 978-0-9773880-9-7 | 2007 | Natasha Derrick |
| Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings | Taschenbuch | | 978-3-540-21377-2 | 2008 | Graeme Smith · Eerke Boiten |
| Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings | " | | 978-3-642-30728-7 | 2012 | Stefania Gnesi · Diego Latella · Helen Treharne |
| Maui - Mile by Mile | Paperback | | 978-0-9773880-5-9 | 2005 |
| Modern World History for AQA B: Foundation Teacher's Resource Pack | " | | 978-0-435-31202-2 | 2001 | Tony Hewitt · Steve Waugh |
| Refinement in Z and Object-Z: Foundations and Advanced Applications | " | | 978-1-4471-5356-6 | 2013 | Eerke a. Boiten |
| Refinement: Semantics, Languages and Applications | Taschenbuch | | 978-3-030-06497-6 | 2019 |
| Refinement: Semantics, Languages and Applications | Gebunden | | 978-3-319-92709-1 | 2018 | Eerke Boiten |