Hybrid systems. 3, Verification and control / Rajeev Alur ... (eds.)
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Lecture notes in computer science ; 1066Gesamtaufnahme: Hybrid systems.Verlag: Berlin ; Heidelberg [u.a.] : Springer, 1996Beschreibung: IX, 618 S. : graph. DarstISBN:- 354061155X
- 629.8/9
| Medientyp | Heimatbibliothek | Signatur | Status | |
|---|---|---|---|---|
| Institutsbestand | IRS | 3971 | Nicht ausleihbar |
Anzahl Vormerkungen: 0