Automated Technology for Vertification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /
Automated Technology for Vertification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / [electronic resource] :
edited by Susanne Graf, Wenhui Zhang.
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- xiv, 540 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4218 0302-9743 ; .
9783540472384 (electronic bk.)
Automatic theorem proving--Congresses.
Computer Science.
Computer Communication Networks.
Information Systems and Communication Service.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Special Purpose and Application-Based Systems.
QA76.9.A96 / A82 2006
004.015113
9783540472384 (electronic bk.)
Automatic theorem proving--Congresses.
Computer Science.
Computer Communication Networks.
Information Systems and Communication Service.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Special Purpose and Application-Based Systems.
QA76.9.A96 / A82 2006
004.015113