SPRINGER VERLAG GMBH Sivumäärä: 220 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 2009, 01.06.2009 (lisätietoa) Kieli: Englanti
This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems.
Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.