Boldo, Sylvie, <br/><br/>
Computer arithmetic and formal proofs :  verifying floating-point algorithms with the Coq system / 
Sylivie Boldo, Guillaume Melquiond 
 - xx, 306 pages :  illustrations ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781785481123 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer arithmetic<br/>Floating-point arithmetic