Katalog der Deutschen Nationalbibliothek

Neuigkeiten 24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.
 
Neuigkeiten Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.
 
 

Ergebnis der Suche nach: idn=1289232156



Treffer 1 von 1 < < > <



Online Ressourcen
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




Treffer 1 von 1
< < > <


E-Mail-IconAdministration