TY  - BOOK
AU  - Jackson,Daniel
TI  - Software abstractions: logic, language and analysis 
SN  - 9788120331709
AV  - QA 76.76 .J33 2006
PY  - 2006///
CY  - New Delhi
PB  - Prentice Hall
KW  - Computer software
KW  - Development
KW  - Language
KW  - Operators
N1  - Includes bibliographical references (p. [333]-339) and index
ER  -