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 LEADER 01198nam 2200385 450 001 9910821951903321 005 20230810001456.0 010 $a1-4985-2195-9 035 $a(CKB)3710000000971344 035 $a(MiAaPQ)EBC4773222 035 $a(EXLCZ)993710000000971344 100 $a20170111h20172017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aUrban growth in Ethiopia, 1887-1974 $efrom the foundation of Finfinnee to the demise of the First Imperial Era /$fGetahun Benti 210 1$aLanham, Maryland :$cLexington Books,$d2017. 210 4$dİ2017 215 $a1 online resource (233 pages) 320 $aIncludes bibliographical references and index. 606 $aCities and towns$zEthiopia$xHistory 606 $aCities and towns$xGrowth 615 0$aCities and towns$xHistory. 615 0$aCities and towns$xGrowth. 676 $a307.760963 700 $aBenti$b Getahun$01651689 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910821951903321 996 $aUrban growth in Ethiopia, 1887-1974$94001789 997 $aUNINA