Verification-based software-fault detection
Gladisch, Christoph ; Beckert, B. 2011 KIT Scientific Publishing
- Link zu diesem Datensatz
- https://d-nb.info/118449603X
- Titel
- Verification-based software-fault detection
- Art des Inhalts
- Monographie
- Verfassangaben
- Christoph David Gladisch ; Betreuer: B. Beckert
- Autor(en)
-
- Gladisch, Christoph
- Beckert, B.
- Verlag
- Karlsruhe : KIT Scientific Publishing [2011]
- Jahr
- Erscheinungsdatum: 2011
- Umfang/Format
- Online-Ressource
- DOI
- 10.5445/KSP/1000023002
- Online
- https://doi.org/10.5445/KSP/1000023002
- Sprache
- eng
- Schlagwörter
- Stand
- 23.12.2025 05:47
- Im Katalog seit
- 07.03.2026