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.
You are at a security, SSL-enabled, site. All our eBooks sources are constantly verified.
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.