| 000 | 01075nam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | vtls000104387 | ||
| 003 | KUKTEM | ||
| 005 | 20251125103907.0 | ||
| 008 | 180723t20172017xxka f 001 0 eng d | ||
| 020 |
_a9781785481123 _qhardback |
||
| 039 | 9 |
_a201808151046 _bzul _y201807231357 _zepul |
|
| 040 |
_aUMP _beng _cUMP _erda |
||
| 090 | _aQA76.9.C62 B65 2017 | ||
| 100 | 1 |
_aBoldo, Sylvie, _eauthor. |
|
| 245 | 1 | 0 |
_aComputer arithmetic and formal proofs : _bverifying floating-point algorithms with the Coq system / _cSylivie Boldo, Guillaume Melquiond |
| 264 | 1 |
_aLondon, UK : _bElsevier, _c2017 |
|
| 264 | 4 | _c©2017 | |
| 300 |
_axx, 306 pages : _billustrations ; _c24 cm. |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_aunmediated _2rdamedia |
||
| 338 |
_avolume _2rdacarrier |
||
| 504 | _aIncludes bibliographical references and index | ||
| 650 | 0 | _aComputer arithmetic | |
| 650 | 0 | _aFloating-point arithmetic | |
| 700 | 1 |
_aMelquiond, Guillaume, _eauthor. |
|
| 999 |
_aVIRTUA40 _c89462 _d89468 |
||
| 999 | _aVTLSSORT0080*0200*0400*0900*1000*2450*2640*2641*3000*3360*3370*3380*5040*6500*6501*7000*9992 | ||