Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1289232156
Link zu diesem Datensatz | https://d-nb.info/1289232156 |
Titel | A formal framework for correct and secure compilation / Carmine Abate ; Gutachter: Cătălin Hriţcu, Christof Paar ; Fakultät für Informatik |
Person(en) |
Abate, Carmine (Verfasser) Hriţcu, Cătălin (Gutachter) Paar, Christof (Gutachter) |
Organisation(en) | Fakultät für Informatik (Sonstige) |
Verlag | Bochum : Ruhr-Universität Bochum |
Zeitliche Einordnung | Erscheinungsdatum: 2023 |
Umfang/Format | Online-Ressource (pdf) |
Hochschulschrift | Dissertation, Bochum, Ruhr-Universität Bochum, 2022 |
Persistent Identifier | URN: urn:nbn:de:hbz:294-98703 |
URL | https://hss-opus.ub.ruhr-uni-bochum.de/opus4/frontdoor/index/index/docId/9870 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter |
Programmierparadigma ; Formale Methode ; Compiler ; Computersicherheit ; Korrektheit Formale Methode* ; Compiler* ; Übersetzerbau* (*maschinell ermittelt) |
DDC-Notation | 005.8 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |