Books by Yves Bertot — EbookNetworking.net

EbookNetworking 🔍 Search Books

📄 Lite AMP versionFull site ›

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Interactive Theorem Proving and Program Development
Yves Bertot
Springer
View Details ›
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Yves Bertot, Pierre CastÃ©ran
Springer
View Details ›