Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science, 6806)
I will be using this book for:
Log in to remove ads

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science, 6806)

Computer Science Conference Proceedings Formal Verification
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

Proceedings of the 23rd CAV conference held in Snowbird, Utah, published in the Lecture Notes in Computer Science series.

ISBN-13 9783642221095 ASIN 3642221092 Views 32 Publisher Springer Year 2011 Edition 1 Format Paperback Product Group Book Pages 778 Adult No Created June 02, 2026 Updated October 21, 2026
About This Book

This volume contains the proceedings of the 23rd International Conference on Computer Aided Verification held in Snowbird, Utah in July 2011.

It is published as part of the Lecture Notes in Computer Science series, volume 6806.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: