Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=97879219X
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/97879219X |
| Titel | Verifying OCL specifications of UML models : tool support and compositionakity / door Marcel Kyas |
| Person(en) | Kyas, Marcel (Verfasser) |
| Verlag | Berlin : Lehmanns Media, LOB.de |
| Zeitliche Einordnung | Erscheinungsdatum: 2006 |
| Umfang/Format | X, 199 S. ; 25 cm |
| Hochschulschrift | Zugl.: Leiden, Univ., Diss., 2006 |
| ISBN/Einband/Preis |
978-3-86541-142-6 kart. : EUR 29.90 3-86541-142-8 kart. : EUR 29.90 |
| Sprache(n) | Englisch (eng) |
| Schlagwörter |
Eingebettetes System ; Sicherheitskritisches System ; UML 2 ; OCL 2.0 ; Typprüfung ; Verifikation Systementwicklung ; Verifikation ; Softwarespezifikation ; Korrektheit ; Beweis ; HOL |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen |
Inhaltsverzeichnis Inhaltstext |
| Frankfurt |
Signatur: 2006 A 32206
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2006 A 46908
Bereitstellung in Leipzig |
Treffer 1 von 1
Administration
