Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 530 von 6076
|
|
| Link zu diesem Datensatz | https://d-nb.info/1136395199 |
| Art des Inhalts | Hochschulschrift |
| Titel | SMT-based validation & verification of UML-OCL models / von Nils Przigoda |
| Person(en) | Przigoda, Nils (Verfasser) |
| Verlag | Bremen |
| Zeitliche Einordnung | Erscheinungsdatum: 2017 |
| Umfang/Format | x, 255 Seiten : Illustrationen ; 30 cm |
| Hochschulschrift | Dissertation, Universität Bremen, 2017 |
| ISBN/Einband/Preis | Broschur |
| Sprache(n) | Englisch (eng) |
| DDC-Notation | 005.1028 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2017 B 17348
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2017 B 22213
Bereitstellung in Leipzig |
Treffer 530 von 6076
Administration
