Coverart for item
The Resource The formal verification of generic interpreters, (microform / P. Windley and K. Levitt)

The formal verification of generic interpreters, (microform / P. Windley and K. Levitt)

Label
The formal verification of generic interpreters
Title
The formal verification of generic interpreters
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
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, K
  • United States
Series statement
NASA contractor report
Series volume
4403
http://library.link/vocab/subjectName
  • Computer programs
  • Flight control
Label
The formal verification of generic interpreters, (microform / P. Windley and K. Levitt)
Instantiates
Publication
Note
  • Distributed to depository libaries in microfiche
  • Shipping list no.: 92-0648-M
Carrier category
microform / P. Windley and K. Levitt
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm28483449
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-32853
System control number
  • (GPO)93084557
  • (OCoLC)28483449
  • (GPO)93084557
  • (Sirsi) a418456
Label
The formal verification of generic interpreters, (microform / P. Windley and K. Levitt)
Publication
Note
  • Distributed to depository libaries in microfiche
  • Shipping list no.: 92-0648-M
Carrier category
microform / P. Windley and K. Levitt
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm28483449
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-32853
System control number
  • (GPO)93084557
  • (OCoLC)28483449
  • (GPO)93084557
  • (Sirsi) a418456

Library Locations

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