Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

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: idn=1216175748



Treffer 1 von 1 < < > <



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




Treffer 1 von 1
< < > <


E-Mail-IconAdministration