Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones.
By: Ball, Thomas.
Contributor(s): Jones, Robert B | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 4144.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: digital.ISBN: 9783540374114.Subject(s): Computer science | Logic design | Software engineering | Artificial intelligence | Computer Science | Logics and Meanings of Programs | Software Engineering | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics) | Logic DesignDDC classification: 005.1015113 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.