01551nam 2200421Ia 450 991069931340332120230902161946.0(CKB)5470000002402786(OCoLC)726747938(EXLCZ)99547000000240278620110523d2006 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierA high-level formalization of floating-point numbers in PVS[electronic resource] /Sylvie Boldo, Cesar MunozHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2006]1 online resource (18 pages) illustrationsNASA/CR ;2006-214298Title from title screen (viewed on May 23, 2011)."National Institute of Aerospace.""October 2006.""NIA Report No. 2006-01."Includes bibliographical references (pages 16-18).NASA contractor report ;NASA CR-2006-214298.Floating-point arithmeticMathematical modelsFloating-point arithmeticMathematical models.Boldo Sylvie871919Muñoz César1414720National Institute of Aerospace.Langley Research Center.GPOGPOBOOK9910699313403321A high-level formalization of floating-point numbers in PVS3514779UNINA