TY  - BOOK
AU  - Jackson, Daniel
TI  - Software Abstractions: Logic, Language and Analysis
SN  - 9788120331709
PY  - 2007///
CY  - New Delhi
PB  - Prentice Hall of India
KW  - Computer Science
KW  - Computer Programming
N1  - Includes Appendix, References and Index
ER  -