001.642 / In8f
Formal models in programming : proceedings...
/ edited by E. J. Neuhold and G. Chroust
.- Amsterdam: North-Holland, 1985
.- xix, 425p.
ISBN: 0444878882
Subject Headings:
Electronic digital computers -- Programming -- Congresses;
Author Added Entry:
Neuhold, E. J. [ed.];
Chroust, G. [ed.];
Copy Details:
Acc. No.: A94821, Full Call No.: 001.642 In8f, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------