TY  - BOOK
AU  - Jackson,Daniel
TI  - Software abstractions : logic, language, and analysis / 
U1  - 005.1 
PY  - 2006///
CY  - New Delhi : 
PB  - Prentice Hall of India , 
KW  - COMPUTER SOFTWARE-DEVELOPMENT
N1  - Includes Index
ER  -