Tools

LEADER 01782nam 2200481Ia 4500

001 ocn726747938;

003 OCoLC;

005 20141212064419.0;

006 m d f ;

007 cr bn|||||||||;

008 110523s2006 vaua obt f000 0 eng d;

035 a| (Sirsi) o726747938;

035 a| (OCoLC)726747938;

043 a| n-us---;

049 a| ERE#;

074 a| 0830-H-14 (online);

086 0 a| NAS 1.26:2006-214298;

100 1 a| Boldo, Sylvie.=| ^A1338051;

245 12 a| A high-level formalization of floating-point numbers in PVS /c| Sylvie Boldo, Cesar Munoz.;

260 a| Hampton, Va. :b| National Aeronautics and Space Administration, Langley Research Center,c| [2006];

300 a| 1 online resource (18 pages) :b| illustrations.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| NASA/CR ;v| 2006-214298;

500 a| Title from title screen (viewed on May 23, 2011).;

500 a| "National Institute of Aerospace.";

500 a| "October 2006.";

500 a| "NIA Report No. 2006-01.";

504 a| Includes bibliographical references (p. 16-18).;

536 b| NCC1-02043f| 2204;

650 0 a| Floating-point arithmeticx| Mathematical models.=| ^A232554;

700 1 a| Muñoz, César.=| ^A1040889;

710 2 a| National Institute of Aerospace.=| ^A1041722;

710 2 a| Langley Research Center.=| ^A192893;

830 0 a| NASA contractor report ;v| 2006-214298.=| ^A441636;

856 40 u| http://purl.fdlp.gov/GPO/gpo7708;

949 a| Click on web addressw| ASISh| JOYNER94;

994 a| C0b| ERE;

596 a| 1;

998 a| 2484528;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 2484528-1001l| JNETm| JOYNERr| Ys| Yt| JNE1DOu| 6/9/2011x| EDOCUMENTz| JERESOURCE;

A high-level formalization of floating-point numbers in PVS / Sylvie Boldo, Cesar Munoz.

Author/creator	Boldo, Sylvie
Other author	Muñoz, César.
Other author	National Institute of Aerospace.
Other author	Langley Research Center.
Format	Electronic
Publication Info	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2006]
Description	1 online resource (18 pages) : illustrations.
Supplemental Content	http://purl.fdlp.gov/GPO/gpo7708
Subjects	Floating-point arithmetic--Mathematical models.

Series	NASA/CR ; 2006-214298 NASA contractor report ; 2006-214298. ^A441636
General note	Title from title screen (viewed on May 23, 2011).
General note	"National Institute of Aerospace."
General note	"October 2006."
General note	"NIA Report No. 2006-01."
Bibliography note	Includes bibliographical references (p. 16-18).
Funding information	NCC1-02043 2204
GPO item number	0830-H-14 (online)
Govt. docs number	NAS 1.26:2006-214298

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Click here for more information about this title