Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: tit all "Abstract Soundness."



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1243664444
Titel Modular Specification and Compositional Soundness of Abstract Interpreters / Sven Keidel
Person(en) Keidel, Sven (Verfasser)
Verlag Mainz : Universitätsbibliothek der Johannes Gutenberg-Universität Mainz
Zeitliche Einordnung Erscheinungsdatum: 2021
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Mainz, Johannes Gutenberg-Universität Mainz, 2021
Persistent Identifier URN: urn:nbn:de:hebis:77-openscience-9be985c8-d919-4b03-ab83-d549658968a68
DOI: 10.25358/openscience-6384
URL https://openscience.ub.uni-mainz.de/handle/20.500.12030/6394 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Translators* (*maschinell ermittelt)
DDC-Notation 005.8 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration