Guillaume Melquiond is a Researcher at INRIA in Orsay, France.
1 résultat(s)
Télécharger le livre : Computer Arithmetic and Formal Proofs
Guillaume Melquiond , Sylvie Boldo
Computer Arithmetic and Formal Proofs
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase...
Editeur : Iste Press - Elsevier
Parution : 2017-11-17

Format(s) : epub sans DRM
113,94 €
Téléchargement immédiat
Dès validation de votre commande