Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1153934914
Link zu diesem Datensatz | https://d-nb.info/1153934914 |
Art des Inhalts | Hochschulschrift |
Titel | Verification of relational programs supported by theorem provers / Insa Stucke |
Person(en) | Stucke, Insa (Verfasser) |
Verlag | Kiel |
Zeitliche Einordnung | Erscheinungsdatum: 2017 |
Umfang/Format | 50 Seiten, 87 verschieden gezählte Seiten ; 30 cm |
Hochschulschrift | Dissertation, Christian-Albrechts-Universität zu Kiel, 2017 |
ISBN/Einband/Preis | Broschur |
Sprache(n) | Englisch (eng) |
Anmerkungen | Enthält Sonderabdrucke |
Sachgruppe(n) | 004 Informatik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 2018 B 13480
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2018 B 6735
Bereitstellung in Leipzig |