Springer
Principles of the Spin Model Checker
Free shipping with 3 or more products in your cart
Payflex: Pay in 4 interest-free payments of R896.25. Read the FAQ
R 4,143
13% off
Limited time offer
R 3,585
In stock
Low stock in USA warehouse Order soon to secure your order
Used, Good Condition
Duties, insurance and VAT included
Delivered in 10–20 working days —
Free shipping with 3 or more products in your cart
Secure checkout
Your payment is fully protected
Duties & VAT included
No surprise charges at the door
Tracked delivery
Track your order end to end
Returns support
30-day return window
Description
Condition - Very Good
The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.
- Used Book in Good Condition
This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use.
Technical Specifications
Manufacturer
Springer
Height
23.5 cm
Length
15.5 cm
Width
1.3 cm
Weight
1.05 kg
Release date
7 January 2008
Shipping & Delivery
Your order is shipped from the USA and delivered to your door in South Africa in 10–20 working days. All items are fully tracked.
Returns & Exchanges
We offer a 30-day return window. If something isn't right, contact our support team and we'll make it right.
