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

 - Cambridge   MIT Press  2006 
 - 350 
<br/><br/><label>ISBN: </label>262101149 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LOGIC<br/>SOFTWARE ABSTRACTION<br/>SOFTWARE ENGINEERING
<br/><br/><label>Dewey Class. No.: </label>005.1 JAC/S