New
Arrivals/Restock
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science, 6823)
4.8 (87 items)
Limited Time SaleUntil the end
02
32
03
US$36.20 cheaper than the new price!!
Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Free cash-on-delivery fees for purchases over $99
See all stores
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
Used US$24.13
Product details
| Management number | 232087316 | Release Date | 2026/06/18 | List Price | US$24.13 | Model Number | 232087316 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking. Read more
| ISBN10 | 3642223052 |
|---|---|
| ISBN13 | 978-3642223051 |
| Edition | 2011th |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.49 x 9.25 inches |
| Item Weight | 12 ounces |
| Print length | 205 pages |
| Publication date | July 5, 2011 |
Bestseller ranking
Funding
Customers who viewed this product also viewed
Mindfulness & Meditation
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form