E-book
Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach / by Paulo Tabuada.
Record details
- ISBN: 9781441902245
- Physical Description: 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. |
