Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 1063 von 6077
|
|
| Link zu diesem Datensatz | https://d-nb.info/107270675X |
| Art des Inhalts | Hochschulschrift |
| Titel | Verifying real-time systems / Georges Morbé |
| Person(en) | Morbé, Georges (Verfasser) |
| Organisation(en) | Der Andere Verlag GmbH (Verlag) |
| Verlag | Uelvesbüll : Der Andere Verlag |
| Zeitliche Einordnung | Erscheinungsdatum: 2015 |
| Umfang/Format | xi, 245 Seiten : Illustrationen ; 24 cm |
| Hochschulschrift | Dissertation, Albert-Ludwigs-Universität Freiburg im Breisgau, 2014 |
| ISBN/Einband/Preis | 978-3-86247-522-3 Broschur : EUR 47.90 (DE), EUR 49.30 (AT), sfr 63.90 (freier Pr.) |
| EAN | 9783862475223 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Design, test and verification of embedded systems ; volume 7 |
| Schlagwörter | Echtzeitsystem ; Verteiltes System ; Model Checking ; Zeitbehafteter Automat ; Temporale Logik ; Systementwurf ; Verifikation |
| DDC-Notation | 004.33 [DDC22ger]; 004.015113 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2016 A 28882
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2016 A 26020
Bereitstellung in Leipzig |
Treffer 1063 von 6077
Administration
