Hybrid Systems Iv - Lecture Notes in Computer Science - Panos Antsaklis - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540633587 - 1997. gada 30. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Hybrid Systems Iv - Lecture Notes in Computer Science

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 27. jūl. - . gada 4. aug.
Saņemiet paziņojumus par jauniem Panos Antsaklis izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Vairāk no tā paša izdevēja