Jackson, Daniel <br/><br/>
Software abstractions  logic, language, and analysis 
Daniel Jackson 
 - New Dlehi  PHI Learning  2009 
 - xvi, 350p. 
<br/><br/><label>ISBN: </label>9788120331709  325.00