Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783642026584
- ISBN-103642026583
- Better World Books9783642026584
- Open LibraryOL37140438M
Classifications
- LCCQA76.6-76.66
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!