EbookNetworking

Home Categories Authors Publishers Blog Popular

Home / Authors / Sylvie Boldo, Guillaume Melquiond

Books by Sylvie Boldo, Guillaume Melquiond

All books by this author

1 books found

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)

Computer Arithmetic and Formal Proofs: Verifying Floating-p…

By: Sylvie Boldo, Guillaume Melquiond

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.