Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings

This volume contains the proceedings of the 22nd International Conference on Computer-Aided Veri'cation (CAV) held in Edinburgh, UK, July 15-19 2010. CAV is dedicated to the advancement of the theory... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 364214294X
• ISBN13: 9783642142949
• Release Date: June 2010
• Publisher: Springer
• Length: 676 Pages
• Weight: 2.10 lbs.
• Dimensions: 1.1" x 6.1" x 9.3"