- Additional Authors
- Description
- 1 v.
- Series Statement
- NASA contractor report ; 187540
- Uniform Title
- NASA contractor report ; NASA CR-187540.
- Subject
- Note
- "Purchase order L-39627C."
- "July 1991."
- "Technical report 46."
- 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/19910018472%5F1991018472.pdf; current access is available via PURL.
- Reproduction (note)
- Call Number
- GPO Microfiche NAS 1.26:187540
- OCLC
- marcive64684529
- Author
Brock, Bishop.
- Title
Report on the formal specification and partial verification of the VIPER microprocessor [microform] / Bishop Brock and Warren A. Hunt, Jr.
- Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Austin, Texas : Computational Logic, Inc., [1991]
- Series
NASA contractor report ; 187540
NASA contractor report ; NASA CR-187540.
- Bibliography
Includes bibliographical references.
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration,] 1991. 1 microfiche.
- 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/19910018472%5F1991018472.pdf; current access is available via PURL.
- Connect to:
- Added Author
Hunt, Warren A.
Langley Research Center.
- Gpo Item No.
0830-H-14 (MF)
0830-H-14 (online)
- Sudoc No.
NAS 1.26:187540
- Research Call Number
GPO Microfiche NAS 1.26:187540
GPO Internet NAS 1.26:187540