Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1161409629
Link zu diesem Datensatz | https://d-nb.info/1161409629 |
Titel | Heap-based reasoning about asynchronous programs / Johannes Kloos ; Betreuer: Rupak Majumdar |
Person(en) |
Kloos, Johannes (Verfasser) Majumdar, Rupak (Akademischer Betreuer) |
Verlag | Kaiserslautern : Technische Universität Kaiserslautern |
Zeitliche Einordnung | Erscheinungsdatum: 2018 |
Umfang/Format | Online-Ressource |
Hochschulschrift | Dissertation, Kaiserslautern, Technische Universität Kaiserslautern, 2018 |
Persistent Identifier | URN: urn:nbn:de:hbz:386-kluedo-52912 |
URL | https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5291 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter | Reasoning* ; Programs* (*maschinell ermittelt) |
DDC-Notation | 005.27 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |