Coverart for item
The Resource Abstracting formal specifications to generate software tests via model checking, Paul E. Ammann, Paul E. Black, (microform)

Abstracting formal specifications to generate software tests via model checking, Paul E. Ammann, Paul E. Black, (microform)

Label
Abstracting formal specifications to generate software tests via model checking
Title
Abstracting formal specifications to generate software tests via model checking
Statement of responsibility
Paul E. Ammann, Paul E. Black
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GAO
http://library.link/vocab/creatorName
Ammann, Paul
Government publication
federal national government publication
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Black, Paul E
  • National Institute of Standards and Technology (U.S.)
Series statement
NISTIR
Series volume
6405
http://library.link/vocab/subjectName
  • Computer software
  • Computer software
  • Computer software
Label
Abstracting formal specifications to generate software tests via model checking, Paul E. Ammann, Paul E. Black, (microform)
Instantiates
Publication
Note
  • Shipping list no.: 2000-0148-M
  • "October 1999."
Base of film
safety base undetermined
Bibliography note
Includes bibliographical references (pages 15-17)
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
43429646
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
25 pages
Form of item
microfiche
Generation
service copy
Media category
microform
Media MARC source
rdamedia
Media type code
h
Other physical details
illustrations
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
Label
Abstracting formal specifications to generate software tests via model checking, Paul E. Ammann, Paul E. Black, (microform)
Publication
Note
  • Shipping list no.: 2000-0148-M
  • "October 1999."
Base of film
safety base undetermined
Bibliography note
Includes bibliographical references (pages 15-17)
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
43429646
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
25 pages
Form of item
microfiche
Generation
service copy
Media category
microform
Media MARC source
rdamedia
Media type code
h
Other physical details
illustrations
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 ...