TY  - BOOK
AU  - Jackson,Daniel
TI  - Software abstractions: logic, language and analysis 
SN  - 0262017152
AV  - QA76.76D47 J29 2012
PY  - 2012///]
CY  - Cambridge, Massachusetts
PB  - The MIT Press
KW  - Software para computadora
KW  - Desarrollo
ER  -