CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Franc...
Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Franc... by Majumdar, Rupak, Tabuada, P... ISBN: 9783642006012 List Price: $89.00
$51.31 (Save 42%)
2.
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Confer...
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Confer... by Esparza, Javier, Majumdar, ... ISBN: 9783642120015 List Price: $95.00
$51.31 (Save 45%)
3.
Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-...
Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-... by Bartocci, Ezio, Majumdar, R... ISBN: 9783319238197 List Price: $79.99
$51.31 (Save 35%)
4.
Networked Systems : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, ...
Networked Systems : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, ... by Georgiou, Chryssis, Majumda... ISBN: 9783030670863
$51.31
5.
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, ...
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, ... by Majumdar, Rupak, Kunča... ISBN: 9783319633862 List Price: $119.00
$51.31 (Save 56%)
6.
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, J...
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, J... by Majumdar, Rupak, Kunča... ISBN: 9783319633893 List Price: $109.99
$51.31 (Save 53%)