Principles of the Spin Model Checker
Product 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.
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.
Technical Specifications
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)