EbookNetworking

Home Categories Authors Publishers Blog Popular

Home / Authors / Yves Bertot, Pierre CastÃ©ran

Books by Yves Bertot, Pierre CastÃ©ran

All books by this author

1 books found

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Interactive Theorem Proving and Program Development: Coq�…

By: Yves Bertot, Pierre CastÃ©ran

View Details

EbookNetworking.net

Your destination for books worldwide. Find, compare, and buy books at the best prices.

Categories Authors Publishers Best Deals Popular Books Blog

Contact Us

USA: +1 (252) 525-4646

India: +91 9815611999

© 2026 EbookNetworking.net — All rights reserved.