Join Amazon Prime and ship Two-Day for free and Overnight for $3.99. Already a member? Sign in.

 

or
Sign in to turn on 1-Click ordering.
 
   
More Buying Choices
40 used & new from $40.17
Have one to sell? Sell yours here
 
   
The SPIN Model Checker: Primer and Reference Manual
 
 
Share your own customer images
Search inside this book
Please tell the publisher:
I’d like to read this book on Kindle

Don’t have a Kindle? Get yours here.
 
  

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

by Gerard J. Holzmann (Author) "SPIN can be used to verify correctness requirements for systems of concurrently executing processes..." (more)
Key Phrases: steps hash conflicts, proctype declaration, statespace search, Partial Order Reduction Full, Push Stack, Bell Labs (more...)
5.0 out of 5 stars See all reviews (3 customer reviews)
List Price: $68.99
Price: $57.95 & this item ships for FREE with Super Saver Shipping. Details
You Save: $11.04 (16%)
Usually ships within 7 to 11 days.
Ships from and sold by Amazon.com. Gift-wrap available.

Ordering for Christmas? To ensure delivery by December 24, choose FREE Super Saver Shipping at checkout. Read more about holiday shipping.

32 new from $40.17 8 used from $44.50