CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Formal Methods in Computer Aided Design 2013
Formal Methods in Computer Aided Design 2013 by Jobstmann, Barbara, Jobstma... ISBN: 9780983567837 List Price: $40.00

OUT OF STOCK

See Availability on Amazon
2.
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, V...
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, V... by Jobstmann, Barbara, Leino, ... ISBN: 9783662491218 List Price: $107.00
$51.31 (Save 52%)