Download Now

Interactive Theorem Proving and Program Development by Yves Bertot

Interactive Theorem Proving and Program Development by Yves Bertot
Springer; 2004 edition | May 14, 2004 | English | ISBN: 3540208542 | 497 pages | PDF | 33 MB

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.


Buy Premium Account To Get Resumable Support & Max Speed




Links are Interchangeable - No Password
Direct Download

Tags: Interactive, Theorem, Proving, Program, Development, Bertot

Comments
Name:*
E-Mail:*
Add Comments:
Enter Code: *