| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Abstract State Machines: A Method for High-Level System Design and Analysis | Gebunden | | 978-3-540-00702-9 | 2003 |
| 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 | Michael Butler · Jonathan P. Bowen · Paul Boca |
| Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures | " | | 978-3-540-89761-3 | 2008 |
| Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990: Proceedings | Paperback | | 978-0-387-54487-8 | 1991 | Germany) Workshop on Computer Science Logic 1990 (Heidelberg |
| Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991: Proceedings | " | | 978-0-387-55789-2 | 1992 | G. Jager · H. Kleine Buning |
| Computer Science Logic: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers | " | | 978-0-387-56992-5 | 1993 | G. Jager · H. Kleine Buning |
| Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers | " | | 978-0-387-58277-1 | 1994 | Yuri Gurevich |
| Specification and Validation Methods | Hardcover | | 978-0-19-853854-7 | 1995 |
| The Classical Decision Problem | Taschenbuch | | 978-3-540-42324-9 | 2008 |
| The Classical Decision Problem | Hardcover | | 978-0-387-57073-0 | 1997 |