Computer Aided Verification
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
We couldn't estimate the reading time for this book.
Author
Publication
2010 - Springer London, Limited
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783642142956
- ISBN-103642142958
- Better World Books9783642142956
- Open LibraryOL37140439M
Classifications
- LCCQA75.5-76.95
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!