The Resource Towards the formal verification of the requirements and design of a processor interface unit : HOL listings, David A. Fura, Philip J. Windley, Gerald C. Cohen

Towards the formal verification of the requirements and design of a processor interface unit : HOL listings, David A. Fura, Philip J. Windley, Gerald C. Cohen

Label
Towards the formal verification of the requirements and design of a processor interface unit : HOL listings
Title
Towards the formal verification of the requirements and design of a processor interface unit
Title remainder
HOL listings
Statement of responsibility
David A. Fura, Philip J. Windley, Gerald C. Cohen
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Fura, David A
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Windley, Philip J
  • Cohen, G. C.
  • Langley Research Center
Series statement
NASA contractor report
Series volume
191466
http://library.link/vocab/subjectName
  • Specifications
  • Reliability (Engineering)
Label
Towards the formal verification of the requirements and design of a processor interface unit : HOL listings, David A. Fura, Philip J. Windley, Gerald C. Cohen
Instantiates
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 94-0250-M
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
17269887
Extent
1 volume.
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
N 94-22414
Label
Towards the formal verification of the requirements and design of a processor interface unit : HOL listings, David A. Fura, Philip J. Windley, Gerald C. Cohen
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 94-0250-M
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
17269887
Extent
1 volume.
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
N 94-22414

Library Locations

    • Indiana State LibraryBorrow it
      315 W. Ohio St., Indianapolis, IN, 46202, US
      39.77004 -86.164015

Library Links

Processing Feedback ...