TY - BOOK AU - Jackson Daniel TI - Software Abstractions Logic Language Analysis SN - 9788120331709 PY - 2007/// CY - New Delhi PB - P H I KW - Computer Science KW - Software ER -