Products

Product categories

Filters

Filters

Clear all
2 products
Sort by
Sort by
Interactive Theorem Proving and Program Development,New Interactive Theorem Proving and Program Development,New
Add to wishlist
Quick view
Add to compare
Interactive Theorem Proving and Program Development,New
A practical introduction to the development of proofs and certified programs using Coq.An invaluable tool for researchers, students, and engineers interested in formal methods and...
Sale price$71.58 Regular price$102.26
Quantity
Add to cart
Interactive Theorem Proving and Program Development,Used Interactive Theorem Proving and Program Development,Used
Add to wishlist
Quick view
Add to compare
Interactive Theorem Proving and Program Development,Used
A practical introduction to the development of proofs and certified programs using Coq.An invaluable tool for researchers, students, and engineers interested in formal methods and...
Sale price$63.63 Regular price$90.90
Quantity
Add to cart

Recently viewed products