TY  - BOOK
AU  - Jackson, Daniel
TI  - Software abstractions : logic, language, and analysis
SN  - 9788120331709
CY  - New Delhi
KW  - Abstractions design  Software
KW  - Software abstractions
KW  - Software development
N1  - Includes bibliographical references and index
ER  -