| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Logics of Specification Languages | Taschenbuch | 978-3-642-09345-6 | 2010 | Martin C. Henson |
| Logics of Specification Languages | Gebunden | 978-3-540-74106-0 | 2007 | " |
| Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... Notes in Computer Science , Band 1755) | Taschenbuch | 978-3-540-67102-2 | 2000 | Manfred Broy · Alexandre V. Zamulin |
| Software Engineering 1: Abstraction and Modelling | " | 978-3-642-05939-1 | 2010 |
| Software Engineering 1: Abstraction and Modelling | Gebunden | 978-3-540-21149-5 | 2005 |
| Software Engineering 2: Specification of Systems and Languages | Taschenbuch | 978-3-642-05940-7 | 2010 |
| Software Engineering 2: Specification of Systems and Languages | Gebunden | 978-3-540-21150-1 | 2006 |
| Software Engineering 3: Domains, Requirements, and Software Design | Taschenbuch | 978-3-642-05941-4 | 2010 |
| Software Engineering 3: Domains, Requirements, and Software Design | Gebunden | 978-3-540-21151-8 | 2006 |
| VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | Paperback | 978-3-662-18631-2 | 2014 | C.A.R. Hoare · Hans Langmaack |