Carl Hanser Verlag GmbH & CO. KG · Springer Berlin Heidelberg
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr |
|---|---|---|
| Computer Safety, Reliability and Security: 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings | 978-3-540-65110-9 (3-540-65110-1) | 1998 |
| Software-Verifikationsmittel | 978-3-446-15201-4 (3-446-15201-6) | 1988 |
| Software-Verifikation: Verfahren für den Zuverlässigkeitsnachweis von Software | 978-3-446-21624-2 (3-446-21624-3) | 2001 |