E-book
Verification and Control of Hybrid Systems A Symbolic Approach
Record details
- ISBN: 9781441902245
-
Physical Description:
electronic
electronic resource
access
remote
online resource. - Publisher: Boston, MA : Springer US, 2009.
Search for related items by subject
| Subject: | Mathematics Computer science Systems theory Mathematics Mathematical Logic and Formal Languages Models and Principles Control Systems Theory, Control |
