Ramsey, Norman  <br/><br/>
Programming languages   build, prove, and compare 

 - Cambridge  Cambridge University Press  2023 
 - xxi, 775 p.  : ill.   ; 27 cm. 
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>9781107180185 (hb) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming--Automatic memory management--Electronic computers--Object orientation--Control operators--Smalltalk --FC
<br/><br/><label>Dewey Class. No.: </label>005.14  / RAM