Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
We couldn't estimate the reading time for this book.
Publication
2005 - Springer London, Limited
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540316862
- ISBN-103540316868
- Better World Books9783540316862
- Open LibraryOL37117985M
Classifications
- LCCQA75.5-76.95
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!