The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the tool. This book fills that need. SPIN is used in over 40 countries. The offical SPIN web site, spinroot.com receives between 2500 and 3000 hits per day. It has been estimated that up to three-quarters of the $400 billion spent ...
Read More
The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the tool. This book fills that need. SPIN is used in over 40 countries. The offical SPIN web site, spinroot.com receives between 2500 and 3000 hits per day. It has been estimated that up to three-quarters of the $400 billion spent annually to hire programmers in the United States is ultimately spent on debugging
Read Less
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $44.00, very good condition, Sold by ThriftBooks-Atlanta rated 5.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published 2003 by Addison Wesley Publishing Company.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $44.00, very good condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2003 by Addison Wesley Publishing Company.
Add this copy of Spin Model Checker, the: Primer and Reference Manual to cart. $66.00, good condition, Sold by Goodwill of Colorado rated 5.0 out of 5 stars, ships from COLORADO SPRINGS, CO, UNITED STATES, published 2011 by Addison-Wesley Educational Publishers Inc.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This item is in overall good condition. Covers and dust jackets are intact but may have minor wear including slight curls or bends to corners as well as cosmetic blemishes including stickers. Pages are intact but may have minor highlighting/ writing. Binding is intact; however, spine may have slight wear overall. Digital codes may not be included and have not been tested to be redeemable and/or active. Minor shelf wear overall. Please note that all items are donated goods and are in used condition. Orders shipped Monday through Friday! Your purchase helps put people to work and learn life skills to reach their full potential. Orders shipped Monday through Friday. Your purchase helps put people to work and learn life skills to reach their full potential. Thank you!
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $86.29, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 2004 by Addison-Wesley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 1150grams, ISBN: 9780321228628.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $86.29, fair condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 2004 by Addison-Wesley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. Book contains pencil markings. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 1150grams, ISBN: 9780321228628.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $86.29, poor condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 2004 by Addison-Wesley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 1150grams, ISBN: 9780321228628.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $87.72, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2003 by Addison-Wesley Professional.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $89.81, very good condition, Sold by Reuseabook rated 4.0 out of 5 stars, ships from Gloucester, GLOS, UNITED KINGDOM, published 2003 by Addison Wesley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine. Grubby book may have mild dirt or some staining, mostly on the edges of pages.
Add this copy of Spin Model Checker, the: Primer and Reference Manual to cart. $108.56, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2003 by Addison-Wesley Professional.
