01303nam 2200421 450 991058302060332120181206172742.00-08-101170-9(CKB)4100000001041925(MiAaPQ)EBC5150685(PPN)227987357(EXLCZ)99410000000104192520171215h20172017 uy 0engurcnu||||||||rdacontentrdamediardacarrierComputer arithmetic and formal proofs verifying floating-point algorithms with the Coq system /Sylvie Boldo, Guillaume MelquiondLondon, England :ISTE Press :Elsevier,2017.©20171 online resource (328 pages) illustrations1-78548-112-6 Includes bibliographical references and index.Computer arithmeticFloating-point arithmeticComputer arithmetic.Floating-point arithmetic.004.0151Boldo Sylvie871919Melquiond GuillaumeMiAaPQMiAaPQMiAaPQBOOK9910583020603321Computer arithmetic and formal proofs1946738UNINA