001.642 / M186t
Mchugh, John
TOWARDS THE GENERATION OF EFFICIENT CODE FROM VERIFIED PROGRAMS / .- Austin: University Of Texas, 1983 .- xii,120 .
Thesis (Ph.D.) -- University Of Texas, 1983 Photocopy Of Typescript. Ann Arbor, Mich., University Microfilm Inernational
Subject Headings:
Computer Programs;
Gve (Computer Program Language);
Copy Details:
Acc. No.: A100238, Full Call No.: 001.642 M186t, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Mchugh, John
TOWARDS THE GENERATION OF EFFICIENT CODE FROM VERIFIED PROGRAMS / .- Austin: University Of Texas, 1983 .- xii,120 .
Thesis (Ph.D.) -- University Of Texas, 1983 Photocopy Of Typescript. Ann Arbor, Mich., University Microfilm Inernational
Subject Headings:
Computer Programs;
Gve (Computer Program Language);
Copy Details:
Acc. No.: A100238, Full Call No.: 001.642 M186t, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------