The Resource Second NASA Formal Methods Workshop, 1992, compiled by Sally C. Johnson, C. Michael Holloway, and RIcky W. Butler, (microform)
Label
Second NASA Formal Methods Workshop, 1992
Title
Second NASA Formal Methods Workshop, 1992
Statement of responsibility
compiled by Sally C. Johnson, C. Michael Holloway, and RIcky W. Butler
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
Government publication
federal national government publication
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Series statement
NASA conference publication
Series volume
10110
Label
Second NASA Formal Methods Workshop, 1992, compiled by Sally C. Johnson, C. Michael Holloway, and RIcky W. Butler, (microform)
Publication
Note
Shipping list no.: 93-0356-M
Carrier category
microform
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm35094389
Extent
1 volume .
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
N 93-12957 - N 93-12958
System control number
  • (GPO)96075034
  • (OCoLC)35094389
  • (GPO)96075034
  • (Sirsi) a563704

Library Locations

    • Central Library, Jesse H. Jones BuildingBorrow it
      500 McKinney St., Houston, TX, 77002, US
      29.759431 -95.369953
Processing Feedback ...