001.642  / C833 <br/>
       Courant computer science symposium 2 : formal semantics of programming languages 
 / edited by Randall Rustin 
 .- Englewood Cliffs, N. J.: Prentice-Hall,  1972 
 .- 248p. 
.- ( Prentice-Hall Series In Automatic Computation   
<br/><u>Subject Headings:</u> <br/>Programming Languages (Electronic Computers) -- Congresses;<br/>Semantics;
<br/><U>Author Added Entry: </u><br/>Rustin, Randall [ed.];
<br><U>Copy Details:</u><br> Acc. No.: <b>A21195</b>, Full Call No.: 001.642 C833,   Item type:  Withdrawn , Location: R311, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>