EbookNetworking

Home Categories Authors Publishers Blog Popular

Home / Authors / Geuvers, Herman

Books by Geuvers, Herman

All books by this author

1 books found

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)

Types for Proofs and Programs: Second International Worksho…

By: Geuvers, Herman

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.