Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1117632032
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/1117632032 |
| Art des Inhalts | Hochschulschrift |
| Titel | Lazy Evaluation: From natural semantics to a machine-checked compiler transformation / Joachim Breitner |
| Person(en) | Breitner, Joachim (Verfasser) |
| Organisation(en) | Karlsruher Institut für Technologie (Verlag) |
| Verlag | Karlsruhe : KIT Scientific Publishing |
| Zeitliche Einordnung | Erscheinungsdatum: 2016 |
| Umfang/Format | Online-Ressource (pdf) |
| Hochschulschrift | Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2016 |
| Persistent Identifier |
URN: urn:nbn:de:0072-560028 DOI: 10.5445/KSP/1000056002 |
| URL | http://www.ksp.kit.edu (Verlag) |
| ISBN/Einband/Preis | 978-3-7315-0546-4 |
| Sprache(n) | Englisch (eng) |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen | Inhaltstext |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
