Showing 1 - 8 of 8 Results
1.
Computer Aided Verification 16th International Conference, Cav 2004, Boston, Ma, Usa, July 1... by Alur, Rajeev, Peled, Doron A. ISBN: 9783540223429 List Price: $99.95
2.
Hybrid Systems Computation and Control 7th International Workshop, Hscc 2004, Philadelphia,... by Alur, Rajeev, Pappas, Georg... ISBN: 9783540212591 List Price: $110.00
4.
Principles of Cyber-Physical Systems by Alur, Rajeev ISBN: 9780262029117 List Price: $65.00
5.
Computer Aided Verification by Alur, Rajeev, Henzinger, Th... ISBN: 9783662206850 List Price: $24.99
6.
Embedded Software by Alur, Rajeev ISBN: 9783662200698 List Price: $24.99
7.
Hybrid Systems III by Alur, Rajeev, Henzinger, Th... ISBN: 9783662179673 List Price: $24.99
8.
Principles of Cyber-Physical Systems by Alur, Rajeev ISBN: 9780262548922