Paperback
Add to list Added to list Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Yves Bertot,Pierre Casteran
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…
Available to order, ships in 7-14 daysAvailable to order