Search
	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                     To:   Your Colleague's E-mail:     From:   Your E-mail:     Subject: Reviews: Computer arithmetic and formal proofs     Message Body:
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy