Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=1115202081



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://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)
Anmerkungen Langzeitarchivierung gewährleistet
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltstext

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration