TY  - BOOK
AU  - Jackson,Daniel
TI  - Software abstractions: logic, language and analysis
SN  - 9788120331709 (pbk)
U1  - 005.1 
PY  - 2006///
CY  - New Delhi
PB  - Prentice Hall of India Private Limited
KW  - Computer software
KW  - Programming
KW  - Polymorphism modules
KW  - Classification hierarchy
KW  - Integers
KW  - Arithmetic
KW  - FC
N1  - Includes bibliographical references and index
ER  -