Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1216175748
Link zu diesem Datensatz | https://d-nb.info/1216175748 |
Titel | Automated reasoning and randomization in separation logic / Christoph Matheja ; Joost-Pieter Katoen, Radu Iosif |
Person(en) |
Matheja, Christoph (Verfasser) Katoen, Joost-Pieter (Akademischer Betreuer) Iosif, Radu (Akademischer Betreuer) |
Verlag | Aachen : Universitätsbibliothek der RWTH Aachen |
Zeitliche Einordnung | Erscheinungsdatum: 2020 |
Umfang/Format | Online-Ressource (pdf) |
Hochschulschrift | Dissertation, RWTH Aachen University, 2020 |
Persistent Identifier |
URN: urn:nbn:de:101:1-2020081906593338309417 DOI: 10.18154/RWTH-2020-00940 |
URL | https://publications.rwth-aachen.de/record/780877 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter | Reasoning* (*maschinell ermittelt) |
DDC-Notation | 005.1 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |