Kjackson, Daniel <br/><br/>
Software abstractions   logic, language, and analysis  [Book] 
Daniel Kjackson. 
 -  Prentice-Hall of India 
<br/><br/> All. 
<br/><br/><label>ISBN: </label>9788120331709 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Software--Development
<br/><br/><label>Dewey Class. No.: </label>005.1