Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa, July 14-15, 2011, Proceedings

Lecture Notes in Computer Science The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic from.... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642223052
• ISBN13: 9783642223051
• Release Date: July 2011
• Publisher: Springer
• Length: 195 Pages
• Weight: 0.75 lbs.
• Dimensions: 0.6" x 6.1" x 9.0"