1.
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June...
by Bouajjani, Ahmed, Maler, Oded
ISBN: 9783642026577
List Price: $119.00
2.
Hybrid Systems Computation and Control 6th International Workshop, Hscc 2003, Prague, Czech...
by Maler, Oded, Pnueli, Amir, ...
ISBN: 9783540009139
List Price: $109.00
3.
Verification and Synthesis of Hybrid Systems
by Asarin, Eugine, Dang, Thao,...
ISBN: 9780817642969
List Price: $69.95
OUT OF STOCK
See Availability on Amazon5.
Hybrid Systems Biology : Second International Workshop, HSB 2013, Taormina, Italy, September...
by Maler, Oded, Hal�sz, �d�m, ...
ISBN: 9783319276557
List Price: $60.00
6.
Hybrid Systems : Computation and Control
by Wiedijk, Freek, Maler, Oded...
ISBN: 9783662206065
List Price: $24.99