| Titel | Art | ISBN-13 | Erscheinungsjahr |
|---|---|---|---|
| Software Engineering 1: Abstraction and Modelling | Taschenbuch | 978-3-642-05939-1 | 2010 |
| Software Engineering 1: Abstraction and Modelling: v. 1 | 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: v. 3 | Gebunden | 978-3-540-21151-8 | 2006 |
D B · Denis Bajram · Denise Bjornson · Dines Bjørner · Dines Bjorner