Benutzerdefiniertes Cover
Logical analysis of hybrid systems : proving theorems for complex dynamics / André Platzer
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Berlin ; Heidelberg : Springer, 2010Beschreibung: XIX, 426 S. : graph. DarstISBN:- 9783642145087
- 004.21015113
- 629.13660285
- 625.100289
- 004
- 3
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand Präsenznutzung | Fachbibliothek Informatik | D.Pla | Bibliothek / frei aufgestellt | 2023 10 | Nicht ausleihbar | 000699662090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20230513 DE-640 3 pdager