Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

Main Author: Boldo, Sylvie
Other Authors: Melquiond, Guillaume
Subjects:
Online Access: http://library.unisel.edu.my/web/guest/mylibrary
LEADER 01025cam a2200253 7i4500
001 0000071650
005 20221011090000.0
020 |a 9781785481123 (electronic book)  
090 0 0 |a QA76.9.C62   |b B65 2017 
100 1 |a Boldo, Sylvie  
245 1 0 |a Computer arithmetic and formal proofs :   |b verifying floating-point algorithms with the Coq system   |c Sylvie Boldo, Guillaume Melquiond. 
264 |a London, UK : ISTE Press ; Oxford, UK:   |b Elsevier,   |c 2017. 
300 |a 1 online resource (xx, 306 pages):   |b illustrations, text file, PDF. 
336 |a text  |2 rdacontent 
337 |a computer  |2 rdamedia 
338 |a online resource  |2 rdacarrier 
650 0 |a Computer arithmetic.  
650 0 |a Floating-point arithmetic  
655 0 |a Electronic books 
700 1 |a Melquiond, Guillaume  
856 4 2 |u http://library.unisel.edu.my/web/guest/mylibrary 
997 |a Communication, Visual Art & Computing, Faculty  |b Computing, Department 
998 |a Computer Science, Degree 
999 |a EBO0014570  |b EBOOK  |c EBOOK  |e Electronic resources