Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1095765965
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/1095765965 |
| Art des Inhalts | Hochschulschrift |
| Titel | Supporting Validation and Verification of State-Based Formal Models / Daniel Plagge. Gutachter: Michael Leuschel ; Marc Denecker |
| Person(en) |
Plagge, Daniel (Verfasser) Leuschel, Michael (Akademischer Betreuer) Denecker, Marc (Akademischer Betreuer) |
| Verlag | Düsseldorf : Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf |
| Zeitliche Einordnung | Erscheinungsdatum: 2016 |
| Umfang/Format | Online-Ressource |
| Hochschulschrift | Düsseldorf, Heinrich-Heine-Universität, Diss., 2015 |
| Persistent Identifier | URN: urn:nbn:de:hbz:061-20160404-143308-5 |
| URL | http://docserv.uni-duesseldorf.de/servlets/DocumentServlet?id=36786 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
