| Type |  Book |
| ชื่อเรื่อง | Verifying floating-point algorithms with the Coq system [electronic resource] / Sylvie Boldo and Guillaume Melquiond |
| ผู้แต่ง | Boldo, Sylvie |
| ISBN | 9781785481123 |
| พิมพลักษณ์ | Oxford, UK : Elsevier, 2017 |
| รูปเล่ม | 1 computer file |
| ลิงค์ | Ebook from ScienceDirect |
| หัวเรื่อง | Computer arithmetic |
| | Floating-point arithmetic |