Category:    Computers (Other)     Interactive Theorem Proving and Program Development free ebook download

Views:  64 Likes:  0 Catalogue

Author(s): Yves Bertot Date: 2004 Format: pdf Language: English ISBN/ASIN: 3540208542 Pages: 1 OCR: Quality: ISBN13: Uploader: tvladb77 Upload Date: 2/8/2019 1:19:31 PM     To download click on link in the Links Table below                                                                        Description: Click to see full 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. Links Table     Title Link Password Size (MB) Thank to Inform Admin Del 2409016 Book https://novafile.com/uevcx5c3e725... GetPremium2SupportMe 3.20 tvladb77 X Title Link Password Size Reason Dead link New format   Those who downloaded this book also downloaded the following books: Comments New comment:

(C) FreeBookSpot 2007 - 2018