CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Computer Aided Verification : 25th International Conference, Cav 2013, Saint Petersburg, Rus...
Computer Aided Verification : 25th International Conference, Cav 2013, Saint Petersburg, Rus... by Sharygina, Natasha, Veith, ... ISBN: 9783642398001 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
2.
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Confe...
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Confe... by Sankaranarayanan, Sriram, S... ISBN: 9783031308222 List Price: $49.99
$46.78 (Save 6%)
3.
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Confe...
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Confe... by Sankaranarayanan, Sriram, S... ISBN: 9783031308192 List Price: $49.99
$46.78 (Save 6%)