Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1064558054
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/1064558054 |
| Art des Inhalts | Hochschulschrift |
| Titel | Modeling the unknown using quantification / Christian Miller |
| Person(en) | Miller, Christian (Verfasser) |
| Verlag | Uelvesbüll : Der Andere Verl. |
| Zeitliche Einordnung | Erscheinungsdatum: 2014 |
| Umfang/Format | XIII, 205 S. : graph. Darst. ; 25 cm |
| Hochschulschrift | Zugl.: Freiburg (Breisgau), Univ., Diss., 2014 |
| ISBN/Einband/Preis | 978-3-86247-477-6 kart. : EUR 43.90 (DE), EUR 45.20 (AT), sfr 58.90 (freier Pr.) |
| EAN | 9783862474776 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Design, test and verification of embedded systems ; Vol. 6 |
| Schlagwörter | Unvollständigkeit ; Systementwurf ; Verifikation ; Blackbox ; Bounded Model Checking ; Erfüllbarkeitsproblem ; Quantifizierung ; Boolesche Formel ; Diskretes System ; Echtzeitsystem |
| DDC-Notation | 004.21 [DDC22ger]; 004.015113 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik ; 621.3 Elektrotechnik, Elektronik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2015 A 46204
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2015 A 53878
Bereitstellung in Leipzig |
Treffer 1 von 1
Administration
