001.642  / N214c <br/>
BIERMANN, ALAN W.   <br/>
       COMPUTER PROGRAM SYNTHESIS METHODOLOGIES 
 / 
 .- Dordrecht: D. Reidel Pub.,  1983 
 .- ix,374,,,,,. 
.- ( Nato Advanced Study Institutes Series , Series C, Mathematical And Physical Sciences  V. 95   
<br/>Published In Cooperation With Scientific Affairs 
<br/><u>Subject Headings:</u> <br/>Electronic Digital Computers -- Programming -- Congresses;
<br/><U>Author Added Entry: </u><br/>GUIHO, GERARD;
<br><U>Copy Details:</u><br> Acc. No.: <b>A78167</b>, Full Call No.: 001.642 N214c,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>