Welcome to the Kids' Library!

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

Back to Search Results

Available items only

Previous Record Next Record

E-Book/E-Doc

Author

Title Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit [electronic resource] / Jing Pan, K. Levitt, G. C. Cohen.

Imprint

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

Connect to
Connect to http://purl.access.gpo.gov/GPO/LPS67723

Copies

Location	Call No.	OPAC Message	Status
Axe Federal Documents Online	NAS 1.26:187547	---	Available

Description	1 v.
Series	NASA contractor report ; 187547
	NASA contractor report ; NASA CR-187547.
Note	"NASA contract NAS1-18586."
	"August 1991."
Form	Mode of access via the NTRS web site.
Bibliography	Includes bibliographical references.
Subject	Arithmetic and logic units.
	Central processing units.
	Floating point arithmetic.
	Program verification (Computers)
Added Author	Levitt, Karl N.
	Cohen, G. C. (Gerald C.)
	Langley Research Center.
Gpo Item No.	0830-H-14 (online)
Sudoc No.	NAS 1.26:187547