Image from Amazon.com
Computer aided verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.
Series: Lecture notes in computer science ; 6174Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.Description: xvi, 676 p. : ill., digital ; 24 cmISBN:- 9783642142956 (electronic bk.)
- 9783642142949 (paper)
- Computer software -- Verification -- Congresses
- Electronic digital computers -- Evaluation -- Congresses
- Computer Science
- Logics and Meanings of Programs
- Software Engineering
- Programming Languages, Compilers, Interpreters
- Mathematical Logic and Formal Languages
- Artificial Intelligence (incl. Robotics)
- Computer Communication Networks
- 005.14 22
- QA76.76.V47 C38 2010
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.