Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant.pdf

Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant PDF

Adam Chlipala

Date de parution

Scopri Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala (11-Feb-2014) Hardcover di : spedizione gratuita per i clienti Prime e per ordini a partire da 29€ spediti da Amazon.

8.28 MB Taille du fichier
9780262026659 ISBN
Libre PRIX
Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant.pdf

Technik

PC et Mac

Lisez l'eBook immédiatement après l'avoir téléchargé via "Lire maintenant" dans votre navigateur ou avec le logiciel de lecture gratuit Adobe Digital Editions.

iOS & Android

Pour tablettes et smartphones: notre application de lecture tolino gratuite

eBook Reader

Téléchargez l'eBook directement sur le lecteur dans la boutique www.jeuxdeben10.fr ou transférez-le avec le logiciel gratuit Sony READER FOR PC / Mac ou Adobe Digital Editions.

Reader

Après la synchronisation automatique, ouvrez le livre électronique sur le lecteur ou transférez-le manuellement sur votre appareil tolino à l'aide du logiciel gratuit Adobe Digital Editions.

Notes actuelles

avatar
Sofya Voigtuh

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq ... Coq is an interactive proof assistant for the development of mathematical ...

avatar
Mattio Müllers

In Handbook of Proof Theory. H. Geuvers. "Proof assistants: History, ideas and future". Freek Wiedijk. "The Seventeen Provers of the World" External links "Introduction" in Certified Programming with Dependent Types. Introduction to the Coq Proof Assistant (with a general introduction to interactive theorem proving)

avatar
Noels Schulzen

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press) [Chlipala, Adam] on Amazon.com. *FREE* ... other proof assistants when we happen to be programming in first-order fragments. ... under serious study for much less time than the pragmatics of programming have ... introduction, targeted at people with different levels of Coq expertise.

avatar
Jason Leghmann

Each time I read it, I get some new ideas of theorem proving! Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant. 4.16 (25 ratings by Goodreads). Hardback; Mit Press ...

avatar
Jessica Kolhmann

Certified Programming with Dependent Types: A …