LEADER 01172nam0-22003731i-450- 001 990005540090203316 005 20050722120000.0 035 $a000554009 035 $aUSA01000554009 035 $a(ALEPH)000554009USA01 035 $a000554009 100 $a20050722d1977-------|0itac50------ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $a<> trasporti in Italia$elibro bianco$fa cura del Ministero dei Trasporti 210 $aRoma$cIstituto poligrafico dello Stato$d1977 215 $a477 p., [5] c. di tav. ripieg.$cill.$d29 cm. 606 $aTrasporti$xItalia$2FI 620 $dRoma 676 $a350.875$cAmministrazione pubblica - Trasporti$v21 710 02$aItalia :Ministero dei trasporti$0359880 712 $aistituto poligrafico dello Stato 801 $aIT$bSOL$c20120104 912 $a990005540090203316 950 $aDIP.TO SCIENZE ECONOMICHE - (SA)$dDS 300 350.875 MIN$e116 DISES 951 $a300 350.875 MIN$b116 DISES 959 $aBK 969 $aDISES 979 $c20121027$lUSA01$h1533 979 $c20121027$lUSA01$h1613 996 $aTrasporti in Italia$91130672 997 $aUNISA NUM $aUSA16294 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