Model Checking Software
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
We couldn't estimate the reading time for this book.
Author
Contributions
- Weber, Michael - Contributor
- SpringerLink (Online service) - Contributor
Publication
2010 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
Electronic resource
Identifiers
- Internet Archivemodelcheckingsof00polj
- Internet Archivemodelcheckingsof00polj_901
- ISBN-139783642161636
- ISBN-139783642161643
- ISBN-103642161634
and 5 more
- ISBN-103642161642
- Library of Congress Control Number2010935165
- Better World Books9783642161636
- Better World Books9783642161643
- Open LibraryOL25558782M
Classifications
- LCCQA76.76.V47 I58 2010
- LCCQA75.5-76.95
- LCCQA76.758
Subjects
Series Statement
- Lecture Notes in Computer Science -- 6349
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!