| 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: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers | | 978-3-540-42716-2 | 2008 | Walter Truszkowski · Christopher A. Rouff · James L. Rash · Diana Gordon |
| 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 | 2008 | Diana Gordon-Spears · Christopher Rouff · Walter F. Truszkowski · James L. Rash |
| 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 |
| Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... / Programming and Software Engineering) | | 978-3-540-76648-3 | 2007 | Michael Butler · Maria M. Larrondo-Petrie |
| Functional Programming With Haskell | | 978-0-07-709330-3 | 2004 | Steven A. Jarvis |
| 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 | 2013 |
| Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, ... Notes in Computer Science , Band 3825) | | 978-3-540-69265-2 | 2008 | Walt Truszkowski · Roy Sterritt · Patricia Rago · Christopher A. Rouff |
| 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 | 2008 | 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 | 2008 | 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 | 2008 | Jonathan P. Bowen · Andreas Fett |