All Formats & Editions
1 - 2 of 2 results found
Logical Analysis of Hybrid Systems: Proving The...
Edition Description
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical - chemical process control, and biomedical...
Edition Details
Format:Hardcover
Language:English
ISBN:3642145086
Format: Hardcover
Condition:
$
109.99
50 Available
Logical Analysis of Hybrid Systems: Proving The...
Edition Description
Logics and Proof Calculi for Hybrid Systems.- Differential Dynamic Logic d?.- Differential-Algebraic Dynamic Logic DAL.- Differential Temporal Dynamic Logic dTL.- Automated Theorem Proving for Hybrid Systems.- Deduction Modulo Real Algebra and Computer Algebra.- Computing Differential...
Edition Details
Format:Paperback
Language:English
ISBN:3642444741
Format: Paperback
Condition:
$
109.99
50 Available
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
