Discrete mathematics, formal methods, the Z schema, and the software life cycle
By: Rodney L. Bown.
Contributors: Lyndon B. Johnson Space Center. Flight Data Systems Division.
Series: NASA contractor report -- NASA CR-188593.
Publisher: Research Institute for Computing and Information Systems, University of Houston-Clear Lake; NASA Johnson Space Center, Engineering Directorate, Flight Data Systems Division
Published: 1991
Place of publication: [Clear Lake City, Tex.]; [Houston, Tex.]
Language: eng
Format: Microform
Subjects: Computer software.; Product life cycle.
Notes: Distributed to depository libraries in microfiche.

Shipping list no.: 92-0095-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1991] 1 microfiche.