Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Book/E-Doc
Author Boldo, Sylvie.

Title A high-level formalization of floating-point numbers in PVS [electronic resource] / Sylvie Boldo, Cesar Munoz.

Imprint Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2006]

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:2006-214298    ---  Available
Description 1 online resource (18 p.) : ill.
Series NASA/CR ; 2006-214298
NASA contractor report ; 2006-214298.
Note Title from title screen (viewed on May 23, 2011).
"National Institute of Aerospace."
"October 2006."
"NIA Report No. 2006-01."
Bibliography Includes bibliographical references (p. 16-18).
Funding NCC1-02043 2204
Subject Floating-point arithmetic -- Mathematical models.
Added Author Mu˜noz, Cesar A., 1968-
National Institute of Aerospace.
Langley Research Center.
Gpo Item No. 0830-H-14 (online)
Sudoc No. NAS 1.26:2006-214298

 
    
Available items only