Coverart for item
The Resource Verification of the FtCayuga fault-tolerant microprocessor system, Mandayam Srivas and Mark Bickford, (microform)

Verification of the FtCayuga fault-tolerant microprocessor system, Mandayam Srivas and Mark Bickford, (microform)

Label
Verification of the FtCayuga fault-tolerant microprocessor system
Title
Verification of the FtCayuga fault-tolerant microprocessor system
Statement of responsibility
Mandayam Srivas and Mark Bickford
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
TXN
http://library.link/vocab/creatorName
Srivas, Mandayam
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Bickford, Mark
  • Langley Research Center
  • United States
Series statement
NASA contractor report
Series volume
4381, 187574
http://library.link/vocab/subjectName
  • Fault-tolerant computing
  • Computers
  • Flight control
Label
Verification of the FtCayuga fault-tolerant microprocessor system, Mandayam Srivas and Mark Bickford, (microform)
Instantiates
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 92-0500-M
  • [cat;jmn]
Carrier category
microform
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
v. 1. Case study in theorem prover-based verification -- v. 2. Forman specification and correctness theorems
Control code
ocm27898988
Extent
2 volumes .
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
  • N 91-29778 (v.1)
  • N 91-29777 (v.2)
System control number
  • (GPO)94085216
  • (OCoLC)27898988
  • (GPO)94085216
  • (Sirsi) a480167
Label
Verification of the FtCayuga fault-tolerant microprocessor system, Mandayam Srivas and Mark Bickford, (microform)
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 92-0500-M
  • [cat;jmn]
Carrier category
microform
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
v. 1. Case study in theorem prover-based verification -- v. 2. Forman specification and correctness theorems
Control code
ocm27898988
Extent
2 volumes .
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
  • N 91-29778 (v.1)
  • N 91-29777 (v.2)
System control number
  • (GPO)94085216
  • (OCoLC)27898988
  • (GPO)94085216
  • (Sirsi) a480167

Library Locations

    • Central Library, Jesse H. Jones BuildingBorrow it
      500 McKinney St., Houston, TX, 77002, US
      29.759431 -95.369953
Processing Feedback ...