The Resource Formal methods of V&V of partial specifications : an experience report, by Steve Easterbrook and Jack Callahan, (microform)

Formal methods of V&V of partial specifications : an experience report, by Steve Easterbrook and Jack Callahan, (microform)

Label
Formal methods of V&V of partial specifications : an experience report
Title
Formal methods of V&V of partial specifications
Title remainder
an experience report
Statement of responsibility
by Steve Easterbrook and Jack Callahan
Title variation
Formal methods of V and V of partial specifications
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorDate
1965-
http://library.link/vocab/creatorName
Easterbrook, S. M.
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Callahan, Jack
  • United States
Series statement
  • Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory
  • NASA contractor report
Series volume
  • NASA-IVV-96-007
  • NASA-CR-203075
http://library.link/vocab/subjectName
  • Computer programs
  • Proving
  • Program verification (Computers)
Label
Formal methods of V&V of partial specifications : an experience report, by Steve Easterbrook and Jack Callahan, (microform)
Instantiates
Publication
Note
Shipping list no.: 98-1098-M
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
42575553
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
19970007163
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
Label
Formal methods of V&V of partial specifications : an experience report, by Steve Easterbrook and Jack Callahan, (microform)
Publication
Note
Shipping list no.: 98-1098-M
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
42575553
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
19970007163
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...