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, (microform)

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

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
Genre
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, (microform)
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
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
31507892
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
h
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
System control number
(WaOLN)1612199
Label
Towards the formal verification of the requirements and design of a processor interface unit, David A. Fura, Phillip J. Windley, Gerald C. Cohen, (microform)
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
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
31507892
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
h
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
System control number
(WaOLN)1612199

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...