The SPIN Model Checker: Primer and Reference Manual

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

The SPIN Model Checker: Primer and Reference Manual (paperback)

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

Country	USA
Author	Gerard Holzmann
Binding	Paperback
EAN	9780321773715
Edition	1
ISBN	0321773713
IsEligibleForTradeIn	1
Label	Addison-Wesley Professional
Manufacturer	Addison-Wesley Professional
NumberOfItems	1
NumberOfPages	608
PublicationDate	2003-09-14
Publisher	Addison-Wesley Professional
Studio	Addison-Wesley Professional
ReleaseDate	0000-00-00

The SPIN Model Checker: Primer and Reference Manual (paperback)