CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference...
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference... by Cervesato, Iliano, Veith, H... ISBN: 9783540894384 List Price: $119.00
$101.14 (Save 15%)
2.
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of th...
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of th... by Dawar, Anuj, Veith, Helmut ISBN: 9783642152047 List Price: $107.00
$51.31 (Save 52%)
3.
Handbook of Model Checking
Handbook of Model Checking by Clarke, Edmund M., Henzinge... ISBN: 9783319105741 List Price: $149.00

OUT OF STOCK

See Availability on Amazon
4.
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
5.
Handbook of Model Checking
Handbook of Model Checking by Clarke, Edmund M., Henzinge... ISBN: 9783030132330 List Price: $149.00

OUT OF STOCK

See Availability on Amazon