| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Abstract State Machines: A Method for High-Level System Design and Analysis | Gebunden | 978-3-540-00702-9 (3-540-00702-4) | 2003 | Egon Börger |
| Java and the Java Virtual Machine: Definition, Verification, Validation | Taschenbuch | 978-3-642-63997-5 (3-642-63997-6) | 2014 | Joachim Schmid · Egon Börger |
| Java and the Java Virtual Machine: Definition, Verification, Validation | Gebunden | 978-3-540-42088-0 (3-540-42088-6) | 2001 | Joachim Schmid · Egon Börger |