Program Proofs
Program Logics for Certified Compilers eBooks & eLearning
Posted by nebulae at May 8, 2014
Andrew W. Appel, Robert Dockins, Aquinas Hobor and Lennart Beringer, "Program Logics for Certified Compilers"
English | ISBN: 110704801X | 2014 | 472 pages | PDF | 2 MB
English | ISBN: 110704801X | 2014 | 472 pages | PDF | 2 MB
Program Logics for Certified Compilers eBooks & eLearning
Posted by DZ123 at March 19, 2019
Andrew W. Appel, Robert Dockins, Aquinas Hobor, "Program Logics for Certified Compilers"
English | 2014 | ISBN: 110704801X | PDF | pages: 472 | 1.9 mb
English | 2014 | ISBN: 110704801X | PDF | pages: 472 | 1.9 mb
Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions eBooks & eLearning
Posted by AvaxGenius at Feb. 8, 2020
Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions by Yves Bertot
English | PDF | 2004 | 492 Pages | ISBN : 3540208542 | 37.31 MB
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.
Rocket Memory Rapid Results - Core 10 Day Program eBooks & eLearning
Posted by FenixN at July 14, 2014
Rocket Memory Rapid Results - Core 10 Day Program
Audio CDs in MP3 / English: MP3, 256 kb/s (2 ch) | Duration: 10 hours | ISBN-10: N/A | + PDF Guides | 1.43 GB
Genre: Psychology and Behavior
Audio CDs in MP3 / English: MP3, 256 kb/s (2 ch) | Duration: 10 hours | ISBN-10: N/A | + PDF Guides | 1.43 GB
Genre: Psychology and Behavior
Remember More Faster & Cut Your Study Time in Half… Permanently retain what you learn, and cut your study time in half…
Interactive Theorem Proving and Program Development (Repost) eBooks & eLearning
Posted by DZ123 at Aug. 31, 2015
Yves Bertot, "Interactive Theorem Proving and Program Development"
English | 2004 | ISBN: 3540208542 | PDF | pages: 491 | 10,1 mb
English | 2004 | ISBN: 3540208542 | PDF | pages: 491 | 10,1 mb
Interactive Theorem Proving and Program Development by Yves Bertot eBooks & eLearning
Posted by Free butterfly at Oct. 13, 2014
Interactive Theorem Proving and Program Development by Yves Bertot
Springer; 2004 edition | May 14, 2004 | English | ISBN: 3540208542 | 497 pages | PDF | 33 MB
Springer; 2004 edition | May 14, 2004 | English | ISBN: 3540208542 | 497 pages | PDF | 33 MB
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.
Rocket Memory Rapid Results: Core 10 Day Program [Repost] eBooks & eLearning
Posted by IrGens at Nov. 5, 2014
![Rocket Memory Rapid Results: Core 10 Day Program [Repost]](https://pixhost.icu/avaxhome/fb/8a/00308afb_medium.jpeg)
Rocket Memory Rapid Results: Core 10 Day Program
English | MP3@256 kbps | 12 CDs + PDF Guides | 1.44 GB
Genre: Self-Help/Memory
English | MP3@256 kbps | 12 CDs + PDF Guides | 1.44 GB
Genre: Self-Help/Memory
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions eBooks & eLearning
Posted by insetes at Dec. 22, 2024
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions By Yves Bertot, Pierre Castéran
2004 | 491 Pages | ISBN: 3642058809 | PDF | 11 MB
2004 | 491 Pages | ISBN: 3642058809 | PDF | 11 MB
New Approaches to Circle Packing in a Square: With Program Codes [Repost] eBooks & eLearning
Posted by ChrisRedfield at Dec. 13, 2013
![New Approaches to Circle Packing in a Square: With Program Codes [Repost]](https://pixhost.icu/avaxhome/9b/f2/0029f29b_medium.jpeg)
Péter Gábor Szabó, Mihaly Csaba Markót, Tibor Csendes, Eckard Specht, Leocadio G. Casado, Inmaculada García - New Approaches to Circle Packing in a Square: With Program Codes
Published: 2007-02-09 | ISBN: 0387456732 | PDF | 238 pages | 18 MB
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions eBooks & eLearning
Posted by at Dec. 22, 2024
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions By Yves Bertot, Pierre Castéran
2004 | 491 Pages | ISBN: 3642058809 | PDF | 11 MB
2004 | 491 Pages | ISBN: 3642058809 | PDF | 11 MB