Visit our Christmas Gift Finder
The SPIN Model Checker: Primer and Reference Manual (paperback) (Paperback)
  • The SPIN Model Checker: Primer and Reference Manual (paperback) (Paperback)
zoom

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

(author)
£51.99
Paperback 608 Pages / Published: 06/06/2011
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

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

Publisher: Pearson Education (US)
ISBN: 9780321773715
Number of pages: 608
Weight: 949 g
Dimensions: 232 x 179 x 30 mm

You may also be interested in...

Succeeding with Agile
Added to basket
£38.49
Paperback
The Art of Unit Testing
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
Implementing Domain-Driven Design
Added to basket
Designing Data-Intensive Applications
Added to basket
User Stories Applied
Added to basket
£40.49
Paperback
Clean Code
Added to basket
£36.99
Paperback
Test Driven Development
Added to basket
Agile Project Management
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
The Algorithm Design Manual
Added to basket
Agile Software Development
Added to basket
The Mythical Man-Month
Added to basket
The Clean Coder
Added to basket
£33.49
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.