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 4.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, fair condition, Sold by Anybook rated 4.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. $80.43, poor condition, Sold by Anybook rated 4.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. $22.10, 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 Professional.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $22.10, 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 Professional.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $51.93, 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:
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. $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. $146.24, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 2003 by Addison-Wesley Professional.
Add this copy of The Spin Model Checker: Primer and Reference Manual to cart. $87.34, 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.
