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

 - New Delhi  Prentice Hall of India Private Limited  2006 
 - xvi, 350 p.  : ill.  ; 24 cm. 
<br/><br/> Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9788120331709 (pbk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Programming--Polymorphism modules--Classification hierarchy--Integers--Arithmetic--FC
<br/><br/><label>Dewey Class. No.: </label>005.1  / JAC