Computer arithmetic and formal proofs :verifying floating-point algorithms with the Coq system Boldo S., Melquiond G., ISTE Press - Elsevier,London, UK,2017. 326 pp. Type:Book
Published By: ISTE Press - Elsevier
You can purchase a book without having a subscription.
Reproduction in whole or in part without permission
is prohibited. Copyright 1999-2024 ThinkLoud®
Terms of Use | Privacy
Policy
