Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008481372/catalog> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- catalog alternative "4th NASA Langley Formal Methods Workshop".
- catalog alternative "Lfm97".
- catalog contributor b11835656.
- catalog contributor b11835657.
- catalog contributor b11835658.
- catalog contributor b11835659.
- catalog contributor b11835660.
- catalog created "1997.".
- catalog date "1997".
- catalog date "1997.".
- catalog dateCopyrighted "1997.".
- catalog description "Includes bibliographical references.".
- catalog extent "vii, 204 p. :".
- catalog isPartOf "NASA conference publication ; 3356".
- catalog issued "1997".
- catalog issued "1997.".
- catalog language "eng".
- catalog publisher "[Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center],".
- catalog subject "Automatic control Data processing Congresses.".
- catalog subject "Fault-tolerant computing Congresses.".
- catalog subject "System analysis Congresses.".
- catalog subject "System design Congresses.".
- catalog title "4th NASA Langley Formal Methods Workshop".
- catalog title "Fourth NASA Langley Formal Methods Workshop [microform] / compiled by C. Michael Holloway and Kelly J. Hayhurst.".
- catalog title "Lfm97".
- catalog type "text".