TY - BOOK AU - Jackson,Daniel TI - SOFTWARE ABSTRACTIONS : Logic,Language,and Analysis SN - 9788120331709 U1 - 005.1 PY - 2009/// CY - New Delhi PB - PRENTICE -HALL OF INDIA ER -