☰

Computers & Technology

Business Technology

Principles of the Spin Model Checker

R 2,506

or 4 x payments of R626.50 with Payflex

Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Condition: USED (All books are in used condition)

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

Principles of the Spin Model Checker
- 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.
Country USA
Brand Springer
Manufacturer Springer
Binding Paperback
ItemPartNumber 22503976
ReleaseDate 2008-01-07
UnitCount 1
EANs 9781846287695

You might also like...

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

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

Software Abstractions: Logic, Language, and Analysis (MIT Press)

Software Abstractions: Logic, Language, and Analysis (MIT Press)

Business & Professional Communication: Principles and Skills for Leadership (2nd Edition)

Business & Professional Communication: Principles and Skills for Leadership (2nd Edition)

The Little Prover (MIT Press)

The Little Prover (MIT Press)