Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung zwingend notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: idn=1191897230



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1191897230
Titel Verified Code Generation from Isabelle/HOL / Lars Hupel ; Gutachter: Tobias Nipkow, Magnus Myreen ; Betreuer: Tobias Nipkow
Person(en) Hupel, Lars (Verfasser)
Nipkow, Tobias (Akademischer Betreuer)
Nipkow, Tobias (Gutachter)
Myreen, Magnus (Gutachter)
Verlag München : Universitätsbibliothek der TU München
Zeitliche Einordnung Erscheinungsdatum: 2019
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, München, Technische Universität München, 2019
Persistent Identifier URN: urn:nbn:de:bvb:91-diss-20190711-1473785-1-3
URL http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190711-1473785-1-3 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
DDC-Notation 004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration