Coverart for item
The Resource 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, (microform)

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, (microform)

Label
Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting
Title
Peer review of a formal verification/design proof methodology
Title remainder
summary of a sub-working-group meeting
Statement of responsibility
sponsored by NASA Langley Research Center and held at the Georgia Institute of Technology, Atlanta, Georgia, July 7-8, 1983
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
WSU
Government publication
federal national government publication
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
  • bibliography
  • technical reports
http://library.link/vocab/relatedWorkOrContributorName
  • Langley Research Center
  • United States
Series statement
NASA conference publication
Series volume
2377
http://library.link/vocab/subjectName
  • Fault-tolerant computing
  • Computer software
  • System design
  • Conferences
  • Design analysis
  • Proving
  • Software engineering
Label
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, (microform)
Instantiates
Publication
Base of film
safety base undetermined
Bibliography note
Includes bibliographical references (page 48)
Carrier category
microfiche
Carrier category code
he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
15277645
Dimensions
28 cm
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
viii, 48 pages
Form of item
microfiche
Generation
service copy
Media category
microform
Media MARC source
rdamedia
Media type code
h
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
n 85-28609
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
Label
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, (microform)
Publication
Base of film
safety base undetermined
Bibliography note
Includes bibliographical references (page 48)
Carrier category
microfiche
Carrier category code
he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
15277645
Dimensions
28 cm
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
viii, 48 pages
Form of item
microfiche
Generation
service copy
Media category
microform
Media MARC source
rdamedia
Media type code
h
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
n 85-28609
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...