The Resource Report on the formal specification and partial verification of the VIPER microprocessor, Bishop Brock and Warren A. Hunt, Jr, (microform)

Report on the formal specification and partial verification of the VIPER microprocessor, Bishop Brock and Warren A. Hunt, Jr, (microform)

Label
Report on the formal specification and partial verification of the VIPER microprocessor
Title
Report on the formal specification and partial verification of the VIPER microprocessor
Statement of responsibility
Bishop Brock and Warren A. Hunt, Jr
Creator
Contributor
Subject
Genre
Language
eng
Member of
Additional physical form
Also available via Internet from the NTRS web site. Address as of 3/15/06: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19910018472%5F1991018472.pdf; current access is available via PURL.
Cataloging source
GPO
http://library.link/vocab/creatorName
Brock, Bishop
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1958-
http://library.link/vocab/relatedWorkOrContributorName
  • Hunt, Warren A.
  • Langley Research Center
Series statement
NASA contractor report
Series volume
187540
http://library.link/vocab/subjectName
  • Computer techniques
  • Consistency
  • Design analysis
  • Hardware
  • Microprocessors
  • Proving
  • Specifications
Label
Report on the formal specification and partial verification of the VIPER microprocessor, Bishop Brock and Warren A. Hunt, Jr, (microform)
Instantiates
Publication
Note
  • "Purchase order L-39627C."
  • "July 1991."
  • "Technical report 46."
Bibliography note
Includes bibliographical references
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
64684529
Dimensions
unknown
Extent
1 volume
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
n 91-27786
Reproduction note
Microfiche.
Specific material designation
remote
System control number
(GPO)99187085
Label
Report on the formal specification and partial verification of the VIPER microprocessor, Bishop Brock and Warren A. Hunt, Jr, (microform)
Publication
Note
  • "Purchase order L-39627C."
  • "July 1991."
  • "Technical report 46."
Bibliography note
Includes bibliographical references
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
64684529
Dimensions
unknown
Extent
1 volume
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
n 91-27786
Reproduction note
Microfiche.
Specific material designation
remote
System control number
(GPO)99187085

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