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 ...