Showing 1 - 6 of 6 Results
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
4.
Hybrid and Real-Time Systems by Maler, Oded ISBN: 9783662171721 List Price: $24.99
5.
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