| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Agent Technology from a Formal Perspective | | 978-1-85233-947-0 | 2005 | Christopher A. Rouff · James Rash · Walter Truszkowski · Diana Gordon-Spears |
| Applications of Formal Methods | | 978-0-13-366949-7 | 1995 | J. P. Bowen |
| Concurrent Systems: Formal Development in Csp | | 978-0-07-707649-8 | 1995 | Stephen A. Jarvis |
| Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers | | 978-3-540-40665-5 | 2003 | James L. Rash · Gordon-Spears, Diana |
| Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers | | 978-3-540-24422-6 | 2005 | James L. Rash · Walter F. Truszkowski · Christopher A. Rouff |
| High-Integrity System Specification and Design | | 978-3-540-76226-3 | 1999 | Jonathan P. Bowen |
| Industrial-Strength Formal Methods in Practice | | 978-1-85233-640-0 | 1999 | " |
| Teaching and Learning Formal Methods | | 978-0-12-349040-7 | 1996 | C. Neville Dean |
| 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 | 1995 | Jonathan P. Bowen |
| 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 | 1997 | Jonathan P. Bowen · David Till |
| 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 | 1998 | Jonathan P. Bowen · Andreas Fett |