Custom cover image
Logical analysis of hybrid systems : proving theorems for complex dynamics / André Platzer
Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Berlin ; Heidelberg : Springer, 2010Description: XIX, 426 S. : graph. DarstISBN:- 9783642145087
- 004.21015113
- 629.13660285
- 625.100289
- 004
- 3
| Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand Präsenznutzung | Fachbibliothek Informatik | D.Pla | Bibliothek / frei aufgestellt | 2023 10 | Not for loan | 000699662090 |
Total holds: 0
Archivierung prüfen 20230513 DE-640 3 pdager