The Resource An introduction to requirements capture using PVS : specification of a simple autopilot, Ricky W. Butler

An introduction to requirements capture using PVS : specification of a simple autopilot, Ricky W. Butler

Label
An introduction to requirements capture using PVS : specification of a simple autopilot
Title
An introduction to requirements capture using PVS
Title remainder
specification of a simple autopilot
Statement of responsibility
Ricky W. Butler
Title variation
Specification of a simple autopilot
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Butler, Ricky W
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
Langley Research Center
Series statement
NASA technical memorandum
Series volume
110255
http://library.link/vocab/subjectName
  • Computer programming
  • Computer programs
  • Equations of state
  • Specifications
  • Computer programming
  • Computer programs
  • Equations of state
  • Specifications
  • Computer programming
  • Computer programs
  • User requirements
  • Software development tools
  • Program verification (computers)
  • Software reliability
  • Equations of state
  • Specifications
Label
An introduction to requirements capture using PVS : specification of a simple autopilot, Ricky W. Butler
Instantiates
Publication
Note
Shipping list no.: 98-0789-M
Base of film
safety base undetermined
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
39675735
Dimensions
4x6 in. or 11x15 cm.
Extent
1 volume.
Form of item
microfiche
Generation
service copy
Media category
microform
Media MARC source
rdamedia
Media type code
h
http://library.link/vocab/ext/overdrive/overdriveId
19960042551
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
Label
An introduction to requirements capture using PVS : specification of a simple autopilot, Ricky W. Butler
Publication
Note
Shipping list no.: 98-0789-M
Base of film
safety base undetermined
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
39675735
Dimensions
4x6 in. or 11x15 cm.
Extent
1 volume.
Form of item
microfiche
Generation
service copy
Media category
microform
Media MARC source
rdamedia
Media type code
h
http://library.link/vocab/ext/overdrive/overdriveId
19960042551
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 ...