Jackson, Daniel <br/><br/>
Software abstractions :  logic, language and analysis / 
Daniel Jackson. 
 - Cambridge, Mass. :  MIT Press,  c2006. 
 - xvi, 350 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references (p. [333]-339) and index. 
<br/><br/><label>ISBN: </label>0262101149 (alk. paper) 9788120331709 
<br/><br/><label>LCCN: </label>2005056155 
<br/><br/><label>Nat. Bib. No.: </label>GBA620901  bnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>013397145  Uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.
<br/><br/><label>LC Class. No.: </label>QA76.76.D47  / J29 2006 
<br/><br/><label>Dewey Class. No.: </label>005.1