Model Checking Software
9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540460176
- ISBN-103540460179
- Better World Books9783540460176
- Open LibraryOL37111410M
Classifications
- LCCQA76.9.C65
Subjects
Other Editions
- Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!