Jackson, Daniel. <br/><br/>
Software abstractions : logic, language, and analysis /  
by Daniel Jackson. 
 - /   . 
 - New Delhi :   Prentice Hall of India ,   2006. 
 - xvi,350p. :   ills. figs ;   2ocm .  
<br/><br/>Includes Index 
<br/><br/><label>ISBN: </label> RS325.00 (PBK) 
<br/><br/><label>Subjects--Index Terms: </label>COMPUTER SOFTWARE-DEVELOPMENT 
<br/><br/><label>Dewey Class. No.: </label>005.1  / JAC/S