000 -LEADER |
fixed length control field |
00609pam a2200181a 44500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
160408b1983 xxu||||| |||| 00| 0 eng d |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
001.642 |
Item number |
M186t |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Mchugh, John |
245 1# - TITLE STATEMENT |
Title |
TOWARDS THE GENERATION OF EFFICIENT CODE FROM VERIFIED PROGRAMS |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Austin |
Name of publisher, distributor, etc. |
University Of Texas |
Date of publication, distribution, etc. |
1983 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xii,120 |
500 ## - GENERAL NOTE |
General note |
Thesis (Ph.D.) -- University Of Texas, 1983 |
500 ## - GENERAL NOTE |
General note |
Photocopy Of Typescript. Ann Arbor, Mich., University Microfilm Inernational |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer Programs |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Gve (Computer Program Language) |
964 ## - |
-- |
CIRC |
997 ## - |
-- |
A100238 C |