Cha, Sungdeok (Steve).

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / [electronic resource] : edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5311 0302-9743 ; . - Lecture Notes in Computer Science, 5311 .

9783540883876

10.1007/978-3-540-88387-6 doi


Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information systems.
Computer Science.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Computer Communication Networks.
Special Purpose and Application-Based Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.

QA76.9.L63 QA76.5913 QA76.63

005.1015113

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