The SPIN Model Checker: Primer and Reference Manual
by Gerard J. Holzmann

List Price: $73.99
Amazon Price: $136.38

Editorial Reviews
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.

Book Details
  • Media : Hardcover
  • Publisher : Addison-Wesley Professional (2003-09-14)
  • Language : English
  • ISBN : 0321228626
  • Sales Rank : # 1,817,986 in Books Sales

Featured Video
Currently No Featured Jobs
Upcoming Events
RISC-V Workshop Chennai at IIT Madras Chinnai India - Jul 18 - 19, 2018
CDNLive Japan 2018 at The Yokohama Bay Hotel Tokyu Yokohama Japan - Jul 20, 2018
International Test Conference India 2018 at Bangalore India - Jul 22 - 24, 2018
MAPPS 2018 Summer Conference at The Belmond Charleston Place Charleston SC - Jul 22 - 25, 2018

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise