Placeholder text

Go to cart

The Spin Model Checker

Product Image: The Spin Model Checker

The Spin Model Checker

0 - Default Title
Description
The SPIN Model Checker is used for both teaching software verificationtechniques, and for validating large scale applications. The growing number ofusers has created a need for a more comprehensive user guide and a standardreference manual that describes the most recent version of the tool. This bookfills that need.SPIN is used in over 40 countries. The offical SPIN web site, spinroot.comreceives between 2500 and 3000 hits per day.It has been estimated that up to three-quarters of the $400 billion spentannually to hire programmers in the United States is ultimately spent ondebugging.
Product details
Edition:
1
Number of Pages:
608
Release Date:
2003-09-18
Publication Date:
2004-01-31
Publisher:
Addison Wesley
Languages:
Original: English
ISBN10:
0321228626
ISBN13:
9780321228628
Weight:
1057 g
Height:
185 cm
Width:
244 cm
Thickness:
28 cm
Currently sold out