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

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

Label
Towards the formal verification of the requirements and design of a processor interface unit
Title
Towards the formal verification of the requirements and design of a processor interface unit
Statement of responsibility
David A. Fura, Phillip 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
United States
Series statement
NASA contractor report
Series volume
4522
http://library.link/vocab/subjectName
Computer networks
Label
Towards the formal verification of the requirements and design of a processor interface unit, David A. Fura, Phillip J. Windley, Gerald C. Cohen
Instantiates
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 94-0440-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
17277860
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-24075
Label
Towards the formal verification of the requirements and design of a processor interface unit, David A. Fura, Phillip J. Windley, Gerald C. Cohen
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 94-0440-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
17277860
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-24075

Library Locations

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

Library Links

Processing Feedback ...