
Interactive Theorem Proving and Program Development
by Yves Bertot- List Price: $84.99
- ISBN-10: 3540208542
- ISBN-13: 9783540208549
- Edition: 2004th
- Type: Hardcover
- Publisher: Springer
About The Book
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers... Read more
Related Books

- Year: 2011
- Edition: Second
- Publisher: The Guilford Press
- Type: Hardcover
- ISBN13: 9781609181710
- ISBN: 1609181719

- Year: 2008
- Edition:
- Publisher: Lyceum Books, Inc.
- Type: Paperback
- ISBN13: 9780925065513
- ISBN: 092506551X