Alagar, V.S.
Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. - 2nd Edition. - London : Springer London, 2011. - digital. - Texts in Computer Science, 1868-0941 . - Texts in Computer Science, .
9780857292773
10.1007/978-0-85729-277-3 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1
Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. - 2nd Edition. - London : Springer London, 2011. - digital. - Texts in Computer Science, 1868-0941 . - Texts in Computer Science, .
9780857292773
10.1007/978-0-85729-277-3 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1