Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1149330473
|
|
Link zu diesem Datensatz | https://d-nb.info/1149330473 |
Titel | Constraint Modelling and Data Validation Using Formal Specification Languages / David Schneider ; Gutachter: Yves Ledru ; Betreuer: Michael Leuschel |
Person(en) |
Schneider, David (Verfasser) Leuschel, Michael (Akademischer Betreuer) Ledru, Yves (Gutachter) |
Verlag | Düsseldorf : Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf |
Zeitliche Einordnung | Erscheinungsdatum: 2017 |
Umfang/Format | Online-Ressource |
Hochschulschrift | Dissertation, Düsseldorf, Heinrich-Heine-Universität, 2017 |
Persistent Identifier | URN: urn:nbn:de:hbz:061-20171218-100210-6 |
URL | https://docserv.uni-duesseldorf.de/servlets/DocumentServlet?id=44230 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
DDC-Notation | 005.1 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |