005.1  / J132S <br/>
Jackson,Daniel <br/>
       SOFTWARE ABSTRACTIONS 
 / LOGIC, LANGUAGE, AND ANALYSIS 
 .-  Mit Press, Cambridge,  2006 
 .- xvi,350 . 
<br><u>ISBN:</u> 0262101149 
<br/><u>Subject Headings:</u> <br/>Computer Software -- Development;
<br><U>Copy Details:</u><br> Acc. No.: <b>A155271</b>, Full Call No.: 005.1 J132S,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>