The Spin Model Checker: Primer and Reference Manual Book + PRICE WATCH * Amazon pricing is not included in price watch

The Spin Model Checker: Primer and Reference Manual Book

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 More

from£N/A | RRP: £45.99
* Excludes Voucher Code Discount Also available Used from £N/A
  • 0321228626
  • 9780321228628
  • Gerard J. Holzmann
  • 4 September 2003
  • Addison Wesley
  • Hardcover (Book)
  • 608
  • 1
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.