TY - BOOK AU - Alagar, V.S. AU - Periyasamy, K. TI - Specification of software systems SN - 9780857292766 U1 - 005.1 PY - 2011/// CY - London PB - Springer-Verlag KW - Software engineering KW - Computer software -- Specifications ER -