Location & Availability for: Computer Aided Verification : 24th Inter

 Staff view

You must be logged in to Tag Records

Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /

edited by P. Madhusudan, Sanjit A. Seshia.

Book Cover
Names: Madhusudan, P. | Seshia, Sanjit A.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: Lecture Notes in Computer Science, 7358
Topics: Computer science. | Computer hardware. | Software engineering. | Logic design. | Artificial intelligence. | Computer Science. | Logics and Meanings of Programs. | Software Engineering. | Mathematical Logic and Formal Languages. | Artificial Intelligence (incl. Robotics). | Special Purpose and Application-Based Systems. | Computer Hardware.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Computer Aided Verification : 24th Inter