Boldo, Sylvie <br/><br/>
Computer Arithmetic and Formal Proofs 

 - Elsevier  Elsevier  2018 
<br/><br/><label>ISBN: </label>9781785481123 
<br/><br/><label>Source: </label>EBOOK