Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1029141800
Link zu diesem Datensatz | https://d-nb.info/1029141800 |
Art des Inhalts | Hochschulschrift |
Titel | Differential dynamic logics - automated theorem proving for hybrid systems / André Platzer. Betreuer: Ernst-Rüdiger Olderog |
Person(en) |
Platzer, André (Verfasser) Olderog, Ernst-Rüdiger (Akademischer Betreuer) |
Verlag | Oldenburg : IBIT - Universitätsbibliothek |
Zeitliche Einordnung | Erscheinungsdatum: 2012 |
Umfang/Format | Online-Ressource |
Hochschulschrift | Oldenburg, Universität Oldenburg, Diss., 2008 |
Persistent Identifier | URN: urn:nbn:de:gbv:715-oops-14833 |
URL | http://oops.uni-oldenburg.de/volltexte/2012/1483/ (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter | Informatik |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |