Automated Technology for Verification and Analysis
Namjoshi, Kedar S.
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / [electronic resource] : edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4762 0302-9743 ; .
9783540755968
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.A96 / N36 2007
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / [electronic resource] : edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4762 0302-9743 ; .
9783540755968
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.A96 / N36 2007