- Additional Authors
- Description
- 1 volume
- Series Statement
- [NASA contractor report] ; NASA CR-185433
- Uniform Title
- NASA contractor report ; NASA CR-185433.
- Subject
- Note
- Distributed to depository libraries in microfiche.
- Shipping list no.: 92-0371-M.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.26:185433
- OCLC
- 27717647
- Author
Marzullo, Keith.
- Title
Derivation of sequential, real-time, process-control programs / Keith Marzullo, Fred B. Schneider, Navin Budhiraja.
- Imprint
Ithaca, NY : Dept. of Computer Science, Cornell University ; [Springfield, Va.] : [National Technical Information Service], [1991]
- Type of Content
text
- Type of Medium
microform
- Type of Carrier
microfiche
- Series
[NASA contractor report] ; NASA CR-185433
NASA contractor report ; NASA CR-185433. http://id.loc.gov/authorities/names/n83825229
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1991]. 1 microfiche.
- Added Author
Schneider, Fred B.
Budhiraja, Navin.
United States. National Aeronautics and Space Administration.
- Gpo Item No.
0830-H-14 (MF)
- Sudoc No.
NAS 1.26:185433