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

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

Price
Kč 2,234
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 15 - 25
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
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

See all of Andre Platzer ( e.g. Paperback Book and Hardcover Book )