EbookNetworking

Home Categories Authors Publishers Blog Popular

Home / Authors / Filliatre, Jean-Christophe

Books by Filliatre, Jean-Christophe

All books by this author

1 books found

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Volume 3839)

Types for Proofs and Programs: International Workshop, TYPE…

By: Filliatre, Jean-Christophe

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.