Book
Interactive Theorem Proving and Program Development
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783540208549
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Interactive Theorem Proving and Program Development by Yves Bertot, Pierre Casteran & Pierre Cast Ran
Interactive Theorem Proving and Program Development has been reviewed 0 times. The average score is . 0 people has read the book.
There are no reviews for this book yet.
