☰

Principles of the Spin Model Checker

R 2,753

or 4 x payments of R688.25 with Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

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)

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

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

Rapid Development: Taming Wild Software Schedules

Software Project Survival Guide (Developer Best Practices)

The Little Prover (MIT Press)