Interactive Theorem Proving and Program Development
| Author | : Yves Bertot |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 492 |
| Release | : 2013-03-14 |
| ISBN-10 | : 9783662079645 |
| ISBN-13 | : 366207964X |
| Rating | : 4/5 (45 Downloads) |
Book Synopsis Interactive Theorem Proving and Program Development by : Yves Bertot
Download or read book Interactive Theorem Proving and Program Development written by Yves Bertot and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
