CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018...
Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018... by Lahiri, Shuvendu, Wang, Chao ISBN: 9783030010898 List Price: $99.99

OUT OF STOCK

See Availability on Amazon
2.
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA,...
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA,... by Lahiri, Shuvendu K., Wang, ... ISBN: 9783030532901 List Price: $49.99
$42.25 (Save 15%)
3.
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA,...
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA,... by Lahiri, Shuvendu K., Wang, ... ISBN: 9783030532871 List Price: $49.99
$42.25 (Save 15%)
4.
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 1...
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 1... by Shuvendu, Lahiri, Reger, Giles ISBN: 9783319675305 List Price: $79.99
$51.31 (Save 35%)