- Additional Authors
- Description
- 1 volume
- Series Statement
- NASA contractor report ; 187491
- Uniform Title
- NASA contractor report ; NASA CR-187491.
- Subject
- Note
- Distributed to depository libraries in microfiche.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.26:187491
- OCLC
- 27873752
- Author
Windley, P.
- Title
Formal proof of the AVM-1 microprocessor using the concept of generic interpreters / P. Windley, K. Levitt, G.C. Cohen.
- Imprint
Davis, Calif. : University of California ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1991]
- Type of Content
text
- Type of Medium
microform
- Type of Carrier
microfiche
- Series
NASA contractor report ; 187491
NASA contractor report ; NASA CR-187491. http://id.loc.gov/authorities/names/n83825229
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1991]. 3 microfiches.
- Added Author
Levitt, Karl N.
Cohen, G. C.
Langley Research Center.
- Gpo Item No.
0830-H-14 (MF)
- Sudoc No.
NAS 1.26:187491