In print
Ebook
Audiobook
Library
We may earn a commission. Learn more.
Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions
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.
No reviews yet.
Be the first to write one.
No highlights yet.
Be the first to share one.