Specification of Software Systems
Alagar, V.S.
Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. - 2nd Edition. - London : Springer-Verlag London Limited, 2011. - v.: digital - Texts in Computer Science, 1868-0941 .
9780857292773
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. - 2nd Edition. - London : Springer-Verlag London Limited, 2011. - v.: digital - Texts in Computer Science, 1868-0941 .
9780857292773
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs