1.
Handbook of Networked and Embedded Control Systems
by Hristu, Dimitrios, Levine, ...
ISBN: 9780817632397
List Price: $99.00
2.
Hybrid Systems III Verification and Control
by Alur, R., Henzinger, T. A.,...
ISBN: 9783540611554
List Price: $111.00
3.
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, July ...
by Alur, R., Henzinger, T. A.
ISBN: 9783540614746
List Price: $98.00