Title:
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
Author:
Platzer, André. author.
ISBN:
9783642145094
Physical Description:
XXX, 426p. 137 illus. online resource.
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-14509-4Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 192678-2001 | ONLINE | Searching... | Searching... |