Tipsa dina vänner om produkten:
Hybrid Systems Iv - Lecture Notes in Computer Science Panos Antsaklis
Pris
SEK 569
Beställningsvara
Förväntad leverans 12 - 20 nov
Julklappar kan bytas fram till 31:e januari
Få avisering om nya utgåvor med Panos Antsaklis
Lägg till din iMusic-önskelista
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öcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 30 juli 1997 |
| ISBN13 | 9783540633587 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 410 |
| Mått | 156 × 234 × 21 mm · 589 g |
| Språk | Tyska |
| Redaktör | Antsaklis, Panos J. |
| Redaktör | Kohn, W. |
| Redaktör | Nerode, Anil |
| Redaktör | Sastry, S. |