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. £65.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. £65.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. £65.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. £91.83, 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. £103.31, 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. £118.96, 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.
