| 000 | 00351nam a2200121Ia 4500 | ||
|---|---|---|---|
| 999 |
_c199681 _d199681 |
||
| 020 | _a9781785481123 | ||
| 040 | _cDepartment of Computer Applications | ||
| 100 | _aBoldo, Sylvie | ||
| 245 | 0 |
_aComputer arithmetic and formal proofs/ _cSylvie Boldo |
|
| 260 |
_bElsevier: _c2017. |
||
| 300 | _a326 p. | ||
| 505 | _a1 - Floating-Point Arithmetic 2 - The Coq System 3 - Formalization of Formats and Basic Operators 4 - Automated Methods 5 - Error-Free Computations and Applications 6 - Example Proofs of Advanced Operators 7 - Compilation of FP Programs 8 - Deductive Program Verification 9 - Real and Numerical Analysis | ||
| 650 | _aFloating-point arithmetic | ||
| 856 | _uhttps://www.sciencedirect.com/science/book/9781785481123 | ||
| 942 | _cEBK | ||