| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Formal Development of Reactive Systems: Case Study Production Cell | Taschenbuch | 978-3-540-58867-2 | 2008 | Thomas Lindner | |
| Formal Development of Reactive Systems: Case Study Production Cell | Paperback | 978-0-387-58867-4 | 1995 | ||
| Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday | Taschenbuch | 978-3-642-17321-9 | 2010 | Gregor Engels · Wilhelm Schäfer · Andy Schürr · Bernhard Westfechtel | |
| Interaktives Entwerfen grosser Programmsysteme: Konzepte und Werkzeuge | Paperback | 978-0-387-50553-4 | 1988 | ||
| Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge | Taschenbuch | 978-3-540-50553-2 | 1988 | ||