Jackson, Daniel. , <br/><br/>
Software abstractions : logic, language and analysis 

 - New Delhi  PHI Learning  2006. 
 - xvi, 350 p.:  ill. ;  24 cm. . 
<br/><br/> Formerly CIP.  
<br/><br/><label>ISBN: </label>9788120331709 
<br/><br/><label>Dewey Class. No.: </label>005.1 JAC