Jackson, Daniel <br/><br/>
Software abstractions :  logic , language, and analysis/ 
Daniel Jackson 
 - New Delhi :  Prantice Hall,  2007 
 - xv, 350 p.;  22 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9788120331709  Rs.  325.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development
<br/><br/><label>Dewey Class. No.: </label>005.1