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

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue