Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 5336 von 6077
|
|
| Link zu diesem Datensatz | https://d-nb.info/985380225 |
| Art des Inhalts | Hochschulschrift |
| Titel | Verification of infinite state systems using Presburger arithmetic / von Tobias Schüle |
| Person(en) | Schüle, Tobias (Verfasser) |
| Ausgabe | 1. Aufl. |
| Verlag | München : Verl. Dr. Hut |
| Zeitliche Einordnung | Erscheinungsdatum: 2007 |
| Umfang/Format | VI, 194 S. : graph. Darst. ; 21 cm, 277 gr. |
| Hochschulschrift | Zugl.: Kaiserslautern, Techn. Univ., Diss., 2007 |
| ISBN/Einband/Preis |
978-3-89963-562-1 kart. : EUR 42.00 3-89963-562-0 kart. : EUR 42.00 |
| EAN | 9783899635621 |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Model Checking ; Presburger-Arithmetik |
| DDC-Notation | 004.015113 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Frankfurt |
Signatur: 2007 A 79104
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2007 A 89152
Bereitstellung in Leipzig |
Treffer 5336 von 6077
Administration
