| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings | Taschenbuch | | 978-3-540-87602-1 | 2008 | Egon Börger · Michael Butler · Paul Boca |
| Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures | " | | 978-3-030-17600-6 | 2019 | Zhiming Liu · Zili Zhang |
| Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers | " | | 978-3-540-78916-1 | 2008 | Robert M. Hierons · Mark Harman |
| High-Integrity System Specification and Design | " | | 978-3-540-76226-3 | 2013 |
| Industrial-Strength Formal Methods in Practice | Paperback | | 978-1-85233-640-0 | 1999 | Michael G. Hinchey |
| Provably Correct Systems | Taschenbuch | | 978-3-319-83980-6 | 2018 | Mike Hinchey · Ernst-Rüdiger Olderog |
| Provably Correct Systems | Gebunden | | 978-3-319-48627-7 | 2017 | Mike Hinchey · Ernst-Rüdiger Olderog |
| Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers | Taschenbuch | | 978-3-319-52227-2 | 2017 | Huibiao Zhu |
| ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 ... Notes in Computer Science, Band 1878) | " | | 978-3-540-67944-8 | 2008 | Steve King · Steve Dunne · Andy Galloway |
| ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ... Notes in Computer Science , Band 2272) | " | | 978-3-540-43166-4 | 2008 | Martin C. Henson · Ken Robinson · Didier Bert |
| ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings | " | | 978-3-540-40253-4 | 2003 | Didier Bert · King, Steve |
| ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings | " | | 978-3-540-60271-2 | 2008 | Michael G. Hinchey |
| ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings | " | | 978-3-540-62717-3 | 2008 | David Till · Michael G. Hinchey |
| ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings | " | | 978-3-540-65070-6 | 2008 | Andreas Fett · Michael G. Hinchey |