The Resource Formal assurance certifiable tooling strategy final report, Eric Bush [and six others]

Formal assurance certifiable tooling strategy final report, Eric Bush [and six others]

Label
Formal assurance certifiable tooling strategy final report
Title
Formal assurance certifiable tooling strategy final report
Statement of responsibility
Eric Bush [and six others]
Creator
Contributor
Author
Issuing body
Subject
Genre
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Bush, Eric Niels
Funding information
Prepared for Langley Research Center
Government publication
federal national government publication
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • technical reports
http://library.link/vocab/relatedWorkOrContributorName
Langley Research Center
Series statement
NASA/CR
Series volume
2017-219372
http://library.link/vocab/subjectName
  • Certification
  • Computer programs
  • Program verification (computers)
  • Software development tools
  • Software engineering
Type of report
  • Contractor report.
  • Final report.
Label
Formal assurance certifiable tooling strategy final report, Eric Bush [and six others]
Instantiates
Publication
Note
  • "February 2017."
  • "Performing organization: NASA Langley Research Center"--Report documentation page
Bibliography note
Includes bibliographical references (page 31)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
993254241
Dimensions
unknown
Extent
1 online resource (31 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
color illustrations.
Specific material designation
remote
Label
Formal assurance certifiable tooling strategy final report, Eric Bush [and six others]
Publication
Note
  • "February 2017."
  • "Performing organization: NASA Langley Research Center"--Report documentation page
Bibliography note
Includes bibliographical references (page 31)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
993254241
Dimensions
unknown
Extent
1 online resource (31 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
color illustrations.
Specific material designation
remote

Library Locations

  • St. Louis Mercantile LibraryBorrow it
    1 University Blvd, St. Louis, MO, 63121, US
    38.710138 -90.311107
  • Thomas Jefferson LibraryBorrow it
    1 University Blvd, St. Louis, MO, 63121, US
    38.710138 -90.311107
  • University ArchivesBorrow it
    703 Lewis Hall, Columbia, MO, 65211, US
  • University of Missouri-St. Louis Libraries DepositoryBorrow it
    2908 Lemone Blvd, Columbia, MO, 65201, US
    38.919360 -92.291620
  • University of Missouri-St. Louis Libraries DepositoryBorrow it
    2908 Lemone Blvd, Columbia, MO, 65201, US
    38.919360 -92.291620
  • Ward E Barnes Education LibraryBorrow it
    8001 Natural Bridge Rd, St. Louis, MO, 63121, US
    38.707079 -90.311355
Processing Feedback ...