Interactive Theorem Proving and Program Development PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Interactive Theorem Proving and Program Development PDF full book. Access full book title Interactive Theorem Proving and Program Development by Yves Bertot. Download full books in PDF and EPUB format.

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development PDF Author: Yves Bertot
Publisher: Springer Science & Business Media
ISBN: 366207964X
Category : Mathematics
Languages : en
Pages : 492

Book 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.
➤