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
£ 81.49
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 15 - 25
Christmas presents can be returned until 31 January
Add to your iMusic wish list

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  

Show all

More by Andre Platzer