Interactive Theorem Proving and Program Development
Coq'art: The Calculus of Inductive Constructions
By Yves Bertot; Pierre Casteran; Pierre Castiran
(Springer, Hardcover, 9783540208549, 494pp.)
Publication Date: June 2004
Other Editions of This Title: Paperback
Categories: Logic Design, Programming - Systems Analysis & Design, Computer Engineering
 |     |
Description
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.
 |
1Q84 Haruki Murakami Knopf |
 |
The Marriage Plot Jeffrey Eugenides Farrar, Straus, and Giroux |
 |
The Sense of an Ending Julian Barnes Knopf |
 |
Death Comes to Pemberley PD James Knopf |
