Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642145087 - September 5, 2010
In case cover and title do not match, the title is correct

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 edition

Price
NZ$ 185
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 31 - Aug 12
Get notified about new Andre Platzer releases
Add to your iMusic wish list

Not rated yet

Also available as:

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.


424 pages, 137 black & white illustrations, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released September 5, 2010
ISBN13 9783642145087
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 426
Dimensions 164 × 246 × 23 mm   ·   780 g
Language French  

More by Andre Platzer

Show all

More from the same publisher