Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642444746 - November 28, 2014
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
SEK 1,009
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 9 - 19
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.


426 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 28, 2014
ISBN13 9783642444746
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 426
Dimensions 155 × 235 × 24 mm   ·   635 g
Language English  

Show all

More by Andre Platzer