Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,6 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind unter Beachtung der geltenden Hygiene- und Abstandsregelungen für einen eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung 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=1200209680



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1200209680
Titel A type-theoretic framework for software component synthesis / Jan Bessai ; Gutachter: George T. Heineman ; Betreuer: Jakob Rehof
Person(en) Bessai, Jan (Verfasser)
Rehof, Jakob (Akademischer Betreuer)
Heineman, George T. (Gutachter)
Verlag Dortmund : Universitätsbibliothek Dortmund
Zeitliche Einordnung Erscheinungsdatum: 2019
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Dortmund, Technische Universität, 2019
Persistent Identifier URN: urn:nbn:de:101:1-2019112202434444946228
Handle: 2003/38387
URL http://hdl.handle.net/2003/38387 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Kombinatorische Logik ; Universelle Algebra ; Scala <Programmiersprache>
Epitonium* ; Algebra* (*maschinell ermittelt)
DDC-Notation 004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration