Interactive Theorem Proving and Program Development
MIA KARTS BOOKS
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
$133.00 CAD
Available
Book Details
- Format
- Hardcover
- Language
- English
- Category
- Business Technology
- Condition
- New
- ISBN-13
- 9783540208549
- ISBN-10
- 3540208542
Free U.S. shipping on all orders. International shipping is calculated at checkout.
ISBN: 3540208542
Author: Bertot, Yves
Condition: 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 the development of zero-fault software.
Have a question?
Interactive Theorem Proving and Program Development
$133.00 CAD
You May Also Like
More in Business & Money
