| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Agility für Fortgeschrittene: Erfolgreich führen mit Körpersprache | | 978-3-938071-01-4 | 2008 |
| Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings | | 978-3-540-73367-6 | 2007 |
| Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen | | 978-0-387-18320-6 | 1987 |
| Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen (Informatik-Fachberichte) (German Edition) | | 978-3-540-18320-4 | 1987 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... Notes in Computer Science , Band 2469) | | 978-3-540-44165-6 | 2008 | Ernst-Rüdiger Olderog |
| Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation Final Report | | 978-3-540-23135-6 | 2004 | Hartmut Ehrig · Jörg Desel · Martin Große-Rhode · Wolfgang Reif · Eckehard Schnieder · Engelbert Westkämper |
| Kommunikation und Konfliktaustragung: Verfassungskultur als Faktor politischer und gesellschaftlicher Machtverhältnisse | | 978-3-8305-1733-7 | 2010 | Kathrin S. Hartmann · Simon Palaoro · Bärbel Sunderbrink (Hrsg.) |
| Practical Formal Methods for Hardware Design | | 978-3-540-62007-5 | 1997 | Carlos Delgado Kloos |