LEADER 01551nam  2200421Ia 450 
001 9910699313403321
005 20230902161946.0
035   $a(CKB)5470000002402786
035   $a(OCoLC)726747938
035   $a(EXLCZ)995470000002402786
100   $a20110523d2006      ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 12$aA high-level formalization of floating-point numbers in PVS$b[electronic resource] /$fSylvie Boldo, Cesar Munoz
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2006]
215   $a1 online resource (18 pages) $cillustrations
225 1 $aNASA/CR ;$v2006-214298
300   $aTitle from title screen (viewed on May 23, 2011).
300   $a"National Institute of Aerospace."
300   $a"October 2006."
300   $a"NIA Report No. 2006-01."
320   $aIncludes bibliographical references (pages 16-18).
410  0$aNASA contractor report ;$vNASA CR-2006-214298.
606   $aFloating-point arithmetic$xMathematical models
615  0$aFloating-point arithmetic$xMathematical models.
700   $aBoldo$b Sylvie$0871919
701   $aMun?oz$b Ce?sar$01414720
712 02$aNational Institute of Aerospace.
712 02$aLangley Research Center.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910699313403321
996   $aA high-level formalization of floating-point numbers in PVS$93514779
997   $aUNINA