TY  - BOOK
AU  - JACKSON, Daniel
AU  - 
TI  - Software abstractions: Logic, language and analysis
SN  - 8120331709
U1  - 005.3 
PY  - 2006///(2007)
CY  - DELHI
PB  - PRENTICE-HALL OF INDIA
KW  - SOFTWARE AND FIRMWARE
ER  -