Matches in Library of Congress for { <http://lccn.loc.gov/85603159> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 85603159 contributor B5085066.
- 85603159 created "1985.".
- 85603159 date "1985".
- 85603159 date "1985.".
- 85603159 dateCopyrighted "1985.".
- 85603159 description "Bibliography: p. 48.".
- 85603159 extent "viii, 48 p. :".
- 85603159 isPartOf "NASA conference publication ; 2377".
- 85603159 issued "1985".
- 85603159 issued "1985.".
- 85603159 language "eng".
- 85603159 publisher "Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; Springfield, Va. : For sale by National Technical Information Service,".
- 85603159 subject "004.2 19".
- 85603159 subject "Computer software Verification Congresses.".
- 85603159 subject "Fault-tolerant computing Congresses.".
- 85603159 subject "QA76.9.F38 P44 1985".
- 85603159 subject "System design Congresses.".
- 85603159 title "Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting / sponsored by NASA Langley Research Center and held at the Georgia Institute of Technology, Atlanta, Georgia, July 7-8, 1983.".
- 85603159 type "text".