CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VM...
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VM... by Enea, Constantin, Piskac, R... ISBN: 9783030112448 List Price: $99.99
$51.31 (Save 48%)
2.
Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2...
Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2... by Piskac, Ruzica, R�mmer, Phi... ISBN: 9783030035914 List Price: $79.99
$51.31 (Save 35%)