Custom cover image
Custom cover image

Hybrid systems. 3, Verification and control / Rajeev Alur ... (eds.)

Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in computer science ; 1066Set: Hybrid systems.Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1996Description: IX, 618 S. : graph. DarstISBN:
  • 354061155X
Subject(s): Genre/Form: Additional physical formats: Online-Ausg.: Hybrid Systems III. Berlin, Heidelberg : Springer Berlin Heidelberg, 1996. Online-RessourceDDC classification:
  • 629.8/9
RVK: RVK: SS 4800PPN: PPN: 1121879489
Holdings
Item type Home library Call number Status
Institutsbestand IRS 3971 Not for loan
Total holds: 0
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT