An edition of Second NASA Formal Workshop 1992 (1992)

Second NASA Formal Workshop 1992

proceedings of a workshop

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Second NASA Formal Workshop 1992
NASA Formal Methods Workshop ( ...
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Buy this book

Last edited by Open Library Bot
December 3, 2010 | History
Edit
An edition of Second NASA Formal Workshop 1992 (1992)

Second NASA Formal Workshop 1992

proceedings of a workshop

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
National Aeronautics and Space Administration, Langley Research Center
Language
English
Pages
242

Buy this book

Subjects
Automatic control, Computer programs, Computer techniques, Conferences, Congresses, Data processing, Digital systems, Failure analysis, Fault tolerance, Fault-tolerant computing, Reliability analysis, System analysis, System design, Systems analysis

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Second NASA Formal Workshop 1992
Second NASA Formal Workshop 1992: proceedings of a workshop
1992, National Aeronautics and Space Administration, Langley Research Center
in English
  • Not in Library

Add another edition?

Book Details

Edition Notes

"November 1992."

Performing organization: NASA Langley Research Center.

Cover title.

Includes bibliographical references (p. 18-22)

Microfiche. Washington, D.C. : Superintendent of Documents, Government Publications Office, 1992. 3 microfiches : negative ; 11 x 15 cm.

s 1992 dcu n b.

Published in
Hampton, Va
Series
NASA conference publication -- 10110.
Genre
Congresses.

The Physical Object

Pagination
242 p. :
Number of pages
242

ID Numbers

Open Library
OL16995469M

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 3, 2010 Edited by Open Library Bot Added subjects from MARC records.
January 22, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page