- Additional Authors
- Description
- 1 v.
- Series Statement
- [NASA contractor report] ; NASA/CR-2001-211024
- Uniform Title
- NASA contractor report ; NASA CR-211024.
- Subject
- Note
- Shipping list no.: 2002-0230-M.
- "July 2001."
- Reproduction (note)
- Call Number
- GPO Microfiche NAS 1.26:211024
- OCLC
- marcive50065665
- Author
Owre, Sam.
- Title
Theory interpretations in PVS [microform] / Sam Owre and Natarajan Shankar.
- Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Hanover, MD : Available from NASA Center for Aerospace Information, [2001]
- Series
[NASA contractor report] ; NASA/CR-2001-211024
NASA contractor report ; NASA CR-211024.
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2002?] 1 microfiche final report.
- Added Author
Shankar, N.
Langley Research Center.
- Gpo Item No.
0830-H-14 (MF)
- Sudoc No.
NAS 1.26:211024
- Research Call Number
GPO Microfiche NAS 1.26:211024