TY  - BOOK
AU  - Jackson,Daniel
TI  - Software abstractions: logic , language, and analysis
SN  - 9788120331709
U1  - 005.1 22
PY  - 2007///
CY  - New Delhi
PB  - Prantice Hall
KW  - Computer software
KW  - Development
N1  - Includes bibliographical references and index
ER  -