Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / [electronic resource] :
edited by Thomas Ball, Robert B. Jones.
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- xv, 564 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4144 0302-9743 ; .
9783540374114 (electronic bk.)
Computer software--Verification--Congresses.
Integrated circuits--Verification--Congresses.
Computer Science.
Artificial Intelligence (incl. Robotics)
Logic Design.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
QA76.76.V47 / C38 2006
511.30285
9783540374114 (electronic bk.)
Computer software--Verification--Congresses.
Integrated circuits--Verification--Congresses.
Computer Science.
Artificial Intelligence (incl. Robotics)
Logic Design.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
QA76.76.V47 / C38 2006
511.30285