LEADER 01303nam  2200421   450 
001 9910583020603321
005 20181206172742.0
010   $a0-08-101170-9
035   $a(CKB)4100000001041925
035   $a(MiAaPQ)EBC5150685
035   $a(PPN)227987357
035   $a(EXLCZ)994100000001041925
100   $a20171215h20172017  uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aComputer arithmetic and formal proofs $everifying floating-point algorithms with the Coq system /$fSylvie Boldo, Guillaume Melquiond
210  1$aLondon, England :$cISTE Press :$cElsevier,$d2017.
210  4$dİ2017
215   $a1 online resource (328 pages) $cillustrations
311   $a1-78548-112-6 
320   $aIncludes bibliographical references and index.
606   $aComputer arithmetic
606   $aFloating-point arithmetic
615  0$aComputer arithmetic.
615  0$aFloating-point arithmetic.
676   $a004.0151
700   $aBoldo$b Sylvie$0871919
702   $aMelquiond$b Guillaume
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910583020603321
996   $aComputer arithmetic and formal proofs$91946738
997   $aUNINA