Jackson, Daniel, <br/><br/>
Software abstractions :  logic, language and analysis / 
Daniel Jackson 
 - xvi, 350 páginas :  ilustraciones 
<br/><br/><label>ISBN: </label>0262101149 (papel alcalino) 9780262101141 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software para computadora--Desarrollo
<br/><br/><label>LC Class. No.: </label>QA76.76D47  / J29