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 ».
Books related to Interactive Theorem Proving and Program Development by Yves Bertot, Pierre Casteran & Pierre Cast Ran
No related books yet.
