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
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