CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, V...
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, V... by McMillan, Kenneth, Rival, X... ISBN: 9783642540141 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
2.
Introduction to Static Analysis
Introduction to Static Analysis by Rival, Xavier, Yi, Kwangkeun ISBN: 9780262043410
$24.56