CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Theorem Proving in Higher Order 13th International Conference, Tphols 2000, Portland, Or, Us...
Theorem Proving in Higher Order 13th International Conference, Tphols 2000, Portland, Or, Us... by Aagaard, Mark D., Harrison,... ISBN: 9783540678632 List Price: $89.95
$4.49 (Save 95%)
2.
Formal Methods in Computer-Aided Design 4th International Conference, Fmcad 2002, Portland, ...
Formal Methods in Computer-Aided Design 4th International Conference, Fmcad 2002, Portland, ... by Aagaard, Mark D., O'Leary, ... ISBN: 9783540001164 List Price: $89.95
$52.33 (Save 41%)
3.
Formal Methods in Computer-Aided Design
Formal Methods in Computer-Aided Design by Aagaard, Mark D., O'Leary, ... ISBN: 9783662198865 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics by Aagaard, Mark D., Harrison,... ISBN: 9783662173329 List Price: $24.99

OUT OF STOCK

See Availability on Amazon