TY  - BOOK
AU  - Jackson, Daniel
TI  - Software abstractions: logic, language and analysis
SN  - 9788120331709
U1  - 005.1 
PY  - 2009///
CY  - New Delhi
PB  - PHI Learning
ER  -