Automated technology for verification and analysis 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings /
Automated technology for verification and analysis 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / [electronic resource] :
ATVA 2009
edited by Zhiming Liu, Anders P. Ravn.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
- xi, 414 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5799 0302-9743 ; .
9783642047619 (electronic bk.) 9783642047602 (paper)
Automatic theorem proving--Congresses.
Artificial intelligence--Congresses.
Programming Languages, Compilers, Interpreters.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Software Engineering.
QA76.9.A96 / A88 2009
006.333
9783642047619 (electronic bk.) 9783642047602 (paper)
Automatic theorem proving--Congresses.
Artificial intelligence--Congresses.
Programming Languages, Compilers, Interpreters.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Software Engineering.
QA76.9.A96 / A88 2009
006.333