Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions.
Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions
by Yves Bertot, Pierre Castéran
advertisement
Category:
Binding: Relié
Author: authorname
Number of Pages:
Amazon Page : detailurl
Amazon.com Price : EUR 71,82
Lowest Price : $
Total Offers :
Rating: 5.0
Total Reviews: totalreviews
Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions Télécharger Livres Gratuits
Coq Wikipedia In computer science Coq is an interactive theorem prover It allows the expression of mathematical assertions mechanically checks proofs of these assertions helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification
Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions Yves Bertot, Pierre Castéran Télécharger Livres Gratuits
No comments:
Post a Comment