Fortell venner om denne varen:
Hybrid Systems Iv - Lecture Notes in Computer Science Panos Antsaklis
Pris
NOK 619
Bestillingsvarer
Forventes levert 1. - 15. sep
Få varsel om nye utgivelser fra Panos Antsaklis
Legg til iMusic ønskeliste
eller
Hybrid Systems Iv - Lecture Notes in Computer Science
Panos Antsaklis
Hybrid systems research focuses on modelling, design and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to the following topics: hybrid systems models; formal verification; computer simulation; and goal reachability.
410 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 30. juli 1997 |
| ISBN13 | 9783540633587 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 410 |
| Mål | 156 × 234 × 21 mm · 589 g |
| Språk | Tysk |
| Redaktør | Antsaklis, Panos J. |
| Redaktør | Kohn, W. |
| Redaktør | Nerode, Anil |
| Redaktør | Sastry, S. |