Criar um Site Grátis Fantástico


Total de visitas: 20546
Interactive theorem proving and program
Interactive theorem proving and program

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions by C. Paulin-Mohring, G. Huet, Pierre CastTran, Pierre Castéran, Yves Bertot

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions



Download eBook




Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions C. Paulin-Mohring, G. Huet, Pierre CastTran, Pierre Castéran, Yves Bertot ebook
ISBN: 3540208542, 9783540208549
Publisher: Springer
Page: 497
Format: djvu


Clarke Jr., Orna Grumberg and Doron A. Yves Bertot and Pierre Castéran. Bertot, Y., Casteran, P.: Interactive Theorem Proving and Program Development. Interactive Theorem Proving and Program Development, Coq'Art: The Calculus of Inductive Constructions · Edmund M. [1] Yves Bertot and Pierre Castéran. Coq is a widely used proof assistant implementing a program specification and mathematical predicates, to state mathematical theorems and to interactively develop for- mal proofs of them. Interactive theorem proving and program development. Coq'Art: The Calculus of Inductive Constructions, volume XXV. Booktopia has Interactive Theorem Proving and Program Development, Coq'Art: the Calculus of Inductive Constructions by Yves Bertot. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions / Edition 1. Texts in Theoretical Computer Science. Coq'Art: The calculus of inductive constructions, Springer, 2004. Interactive Theorem Proving and Program. 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. An EATCS Series) book download Yves Bertot, Pierre Casteran, G. Coq'Art: The Calculus of Inductive Constructions. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. Want to Read saving… pick shelf.

Download more ebooks: