The Resource Formal proof of the AVM-1 microprocessor using the concept of generic interpreters, P. Windley, K. Levitt, G.C. Cohen

Formal proof of the AVM-1 microprocessor using the concept of generic interpreters, P. Windley, K. Levitt, G.C. Cohen

Label
Formal proof of the AVM-1 microprocessor using the concept of generic interpreters
Title
Formal proof of the AVM-1 microprocessor using the concept of generic interpreters
Statement of responsibility
P. Windley, K. Levitt, G.C. Cohen
Creator
Contributor
Subject
Language
eng
Member of
http://library.link/vocab/creatorName
Windley, P
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Levitt, Karl N
  • Cohen, G. C.
  • Langley Research Center
Series statement
NASA contractor report
Series volume
187491
http://library.link/vocab/subjectName
  • Microprocessors
  • Interpreters (Computer programs)
  • Computer programs
Label
Formal proof of the AVM-1 microprocessor using the concept of generic interpreters, P. Windley, K. Levitt, G.C. Cohen
Instantiates
Publication
Note
Distributed to depository libraries in microfiche
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
17183126
Extent
1 volume.
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
N 91-19756
Label
Formal proof of the AVM-1 microprocessor using the concept of generic interpreters, P. Windley, K. Levitt, G.C. Cohen
Publication
Note
Distributed to depository libraries in microfiche
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
17183126
Extent
1 volume.
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
N 91-19756

Library Locations

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

Library Links

Processing Feedback ...