TY  - BOOK
AU  - JACKSON, DANIEL
TI  - SOFTWARE ABSTRACTIONS: LOGIC, LANGUAGE, AND ANALYSIS
U1  - 005.362 
PY  - 2006///
CY  - NEW DELHI
PB  - PHI LEARNING PRIVATE LIMITED
KW  -  SOFTWARE ABSTRACTIONS -LOGIC ,LANGUAGE, AND ANALYSIS
KW  - COMPUTER SCIENCE
ER  -