Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1174142367
Link zu diesem Datensatz | https://d-nb.info/1174142367 |
Titel | Gradual security typing |
Person(en) |
Fennell, Luminous (Verfasser) Thiemann, Peter (Akademischer Betreuer) |
Organisation(en) | Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Grad-verleihende Institution) |
Verlag | Freiburg : Universität |
Zeitliche Einordnung | Erscheinungsdatum: 2018 |
Umfang/Format | Online-Ressource (pdf) |
Hochschulschrift | Dissertation, Universität Freiburg, 2017 |
Persistent Identifier |
URN: urn:nbn:de:bsz:25-freidok-169771 DOI: 10.6094/UNIFR/16977 |
URL | https://freidok.uni-freiburg.de/data/16977 (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
DDC-Notation | 005.8 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |