Picture 1 of 1
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherl
Condition:
Postage:
Located in: Melbourne, Australia
Delivery:
Estimated between Fri, 10 May and Mon, 20 May to 43230
Returns:
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller information
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:156128873617
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- ISBN-13
- 9783642161636
- Book Title
- Model Checking Software
- ISBN
- 9783642161636
- Publication Year
- 2010
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
- Publisher
- Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
- Subject
- Computer Science
- Number of Pages
- 263 Pages
About this product
Product Information
This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27-29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and several of its satellite workshops, and with the joint PDMC and HiBi workshops, on Parallel and Distributed Methods for veri?Cation and on High-performance computational systems Biology. The SPIN workshopis a forum for practitioners and researchersinterested in state-spaceanalysisofsoftware-intensivesystems.Thisisapplicableinparticular to concurrent and asynchronous systems, including protocols. The name of the workshop re?ects the SPIN model checking tool by Gerard J. Holzmann, which won the ACM System Software Award 2001, and is probably the most widely used industrial-strength model checker around. The focus of the workshop is on theoretical advances and extensions, al- rithmic improvements, and empirical evaluation studies of (mainly) state-based modelcheckingtechniques,asimplementedintheSPINmodelcheckerandother tools. The workshop encourages interaction and exchange of ideas with all - lated areas in software engineering. To this end, we co-located SPIN 2010 with the graph transformation, and high-performance analysis communities. This year, we received 33 submissions, divided between 29 regular and 4 tool papers.Eachpaperwasrigorouslyreviewedbyatleastfourreviewers,andjudged onitsqualityandits signi?canceandrelevanceforSPIN.Weaccepted13regular papers, and 2 tool papers for presentation and for publication in this volume.
Product Identifiers
Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783642161636
eBay Product ID (ePID)
105349984
Product Key Features
Publication Name
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2010
Type
Textbook
Number of Pages
263 Pages
Dimensions
Volume
6349
Additional Product Features
Series Title
Theoretical Computer Science and General Issues
Editor
Jaco Van Der Pol, Michael Weber
Country/Region of Manufacture
Germany
Item description from the seller
Business seller information
Value Added Tax Number:
- AU 82107909133
- GB 293967539
Seller assumes all responsibility for this listing.
eBay item number:156128873617
Postage and handling
Item location:
Melbourne, Australia
Post to:
Worldwide
Excludes:
Afghanistan, Algeria, Angola, Anguilla, Belarus, Benin, Bolivia, Botswana, Burkina Faso, Burundi, Cameroon, Cape Verde Islands, Central African Republic, Chad, Comoros, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Djibouti, Dominica, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Ethiopia, Fiji, French Guiana, French Polynesia, Gabon Republic, Gambia, Ghana, Guadeloupe, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Ireland, Kenya, Lesotho, Liberia, Libya, Madagascar, Malawi, Mali, Martinique, Mauritania, Mauritius, Mayotte, Moldova, Mongolia, Morocco, Mozambique, Namibia, New Caledonia, Nicaragua, Niger, Nigeria, North Korea, Panama, Papua New Guinea, Puerto Rico, Republic of the Congo, Reunion, Russian Federation, Rwanda, Saint Helena, Senegal, Seychelles, Sierra Leone, Somalia, Suriname, Svalbard and Jan Mayen, Swaziland, Syria, Tanzania, Togo, Tonga, Trinidad and Tobago, Tunisia, Tuvalu, Uganda, Ukraine, United Kingdom, Vanuatu, Venezuela, Virgin Islands (U.S.), Western Sahara, Western Samoa, Yemen, Zambia, Zimbabwe
| Postage and handling | To | Service | Delivery*See Delivery notes |
|---|---|---|---|
| Free postage | United States | International Standard : tracked-no signature (7 to 15 business days) | Estimated between Fri, 10 May and Mon, 20 May to 43230 |
| Handling time |
|---|
| Will usually post within 10 business days of receiving cleared payment. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales Tax for an item #156128873617
Sales Tax for an item #156128873617
Seller collects sales tax for items shipped to the following states:
| State | Sales Tax Rate |
|---|
Return policy
| After receiving the item, contact seller within |
|---|
| 30 days after the buyer receives it |
The buyer is responsible for return postage costs.
Seller feedback (1,425,586)
o***l (1560)- Feedback left by buyer.
Past month
Verified purchase
Great seller. Book very well protected for postage. Thankyou.
r***u (388)- Feedback left by buyer.
Past month
Verified purchase
Very happy
e***y (20230)- Feedback left by buyer.
Past month
Verified purchase
Very pleased with my purchase and with your great service. Thank you !!!