Hybrid Systems Iv - Lecture Notes in Computer Science - Panos Antsaklis - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540633587 - July 30, 1997
In case cover and title do not match, the title is correct

Hybrid Systems Iv - Lecture Notes in Computer Science

Price
HK$ 439
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 17 - 23
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released July 30, 1997
ISBN13 9783540633587
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 410
Dimensions 156 × 234 × 21 mm   ·   589 g
Language German  
Editor Antsaklis, Panos J.
Editor Kohn, W.
Editor Nerode, Anil
Editor Sastry, S.

Mere med samme udgiver