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. $80.43, 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. $80.43, 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. $35.63, good condition, Sold by Goodwill Books rated 5.0 out of 5 stars, ships from Hillsboro, OR, UNITED STATES, published 2003 by Addison-Wesley Professional.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $36.60, good condition, Sold by ThriftBooks-Reno rated 4.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 2003 by Addison-Wesley Professional.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $38.82, fair condition, Sold by BayStateBooks rated 5.0 out of 5 stars, ships from North Smithfield, RI, UNITED STATES, published 2003 by Addison-Wesley Professional.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. The book is complete and readable with all pages and cover intact. Dust jacket shrink wrap or boxed set case may be missing. Pages may have light notes highlighting or minor water exposure but nothing that affects readability. May be an ex-library copy and could include library markings or stickers.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $41.99, like new condition, Sold by Book Forest rated 5.0 out of 5 stars, ships from San Rafael, CA, UNITED STATES, published 2003 by Addison Wesley Publishing Company.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Like New. Page block firm and clean, binding unblemished, boards straight, without markings of any kind. Fine, like new condition. Without any discs, access codes or extra items. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $89.68, 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. $127.00, very good condition, Sold by M3Books rated 5.0 out of 5 stars, ships from Wilmington, MA, UNITED STATES, published 2003 by Addison-Wesley Professional.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $129.94, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2003 by Addison-Wesley Professional.
Add this copy of Spin Model Checker, the: Primer and Reference Manual to cart. $142.50, 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.
