TY  - BOOK
AU  - Jackson,Daniel
TI  - Software abstractions: logic,language and analysis
SN  - 9788120331709
AV  - QA 76.76 .D47J29 2006 
PY  - 2006///
CY  - New Delhi
PB  - Prentice Hall of India
KW  - software developments
ER  -