- Additional Authors
- Description
- 1 v.
- Series Statement
- NASA contractor report ; 187547
- Uniform Title
- NASA contractor report ; NASA CR-187547.
- Subject
- Note
- "NASA contract NAS1-18586."
- "August 1991."
- Bibliography (note)
- Includes bibliographical references.
- Additional Formats (note)
- Also available via Internet from the NTRS web site. Address as of 3/15/06: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19910019463%5F1991019463.pdf; current access is available via PURL.
- Reproduction (note)
- Call Number
- GPO Microfiche NAS 1.26:187547
- OCLC
- marcive64678637
- Author
Pan, Jing.
- Title
Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit [microform] / Jing Pan, K. Levitt, G. C. Cohen.
- Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1991]
- Series
NASA contractor report ; 187547
NASA contractor report ; NASA CR-187547.
- Bibliography
Includes bibliographical references.
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration,] 1991. 2 microfiches.
- Additional Formats
Also available via Internet from the NTRS web site. Address as of 3/15/06: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19910019463%5F1991019463.pdf; current access is available via PURL.
- Connect to:
- Added Author
Levitt, Karl N.
Cohen, G. C. (Gerald C.)
Langley Research Center.
- Gpo Item No.
0830-H-14 (MF)
0830-H-14 (online)
- Sudoc No.
NAS 1.26:187547
- Research Call Number
GPO Microfiche NAS 1.26:187547
GPO Internet NAS 1.26:187547