Pastāsti draugiem par šo preci:
Hybrid Systems Iv - Lecture Notes in Computer Science Panos Antsaklis
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1997. gada 30. jūlijs |
| ISBN13 | 9783540633587 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 410 |
| Izmēri | 156 × 234 × 21 mm · 589 g |
| Valoda | Vācu |
| Redaktors | Antsaklis, Panos J. |
| Redaktors | Kohn, W. |
| Redaktors | Nerode, Anil |
| Redaktors | Sastry, S. |