Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

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
Schlagwörter: Genre/Form: Andere physische Formen: Online-Ausg.: Hybrid Systems III. Berlin, Heidelberg : Springer Berlin Heidelberg, 1996. Online-RessourceDDC-Klassifikation:
  • 629.8/9
RVK: RVK: SS 4800PPN: PPN: 1121879489
Exemplare
Medientyp Heimatbibliothek Signatur Status
Institutsbestand IRS 3971 Nicht ausleihbar
Anzahl Vormerkungen: 0