Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1077821883
Link zu diesem Datensatz | https://d-nb.info/1077821883 |
Art des Inhalts | Hochschulschrift |
Titel | Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study / Thorsten Bormer. Betreuer: B. Beckert |
Person(en) |
Bormer, Thorsten (Verfasser) Beckert, B. (Akademischer Betreuer) |
Verlag | Karlsruhe : KIT-Bibliothek |
Zeitliche Einordnung | Erscheinungsdatum: 2014 |
Umfang/Format | Online-Ressource |
Hochschulschrift | Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2014 |
Persistent Identifier | URN: urn:nbn:de:swb:90-497927 |
URL | http://digbib.ubka.uni-karlsruhe.de/volltexte/1000049792 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |