Textbook Nova

Create a free account to:
- Rate & review books
- Build personal bookshelves
- Follow your favourite authors
- Set up a public profile
- Share your reading lists
Login / Register

Formal Verification Books

1 book

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

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird,…

0.0 stars

Textbook Nova About Privacy Policy Terms and Conditions

Amazon and the Amazon logo are trademarks of Amazon.com, Inc. or its affiliates.

Textbooknova.com is a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for sites to earn advertising fees by advertising and linking to Amazon.com

CERTAIN CONTENT THAT APPEARS ON TEXTBOOKNOVA.COM COMES FROM AMAZON SERVICES LLC. THIS CONTENT IS PROVIDED 'AS IS' AND IS SUBJECT TO CHANGE OR REMOVAL AT ANY TIME.

© 2010-2026 TextbookNova.com All Rights Reserved.

v4.27