This is the first introductory textbook on Spin, the only requirement is a background in programming.
The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism.
Publisher: Springer London Ltd Author(s): Mordechai Ben-Ari Illustration(s): 2 Tables, black and white; 17 Illustrations, black and white; XVI, 220 p.
17 illus.
Number of pages: 220 Publication date: 2008 Dimensions: 222 x 141 x 24 Cover type: Paperback / softback.
| Publisher | Springer |
|---|---|
| Author(s) | Mordechai |
| Illustration(s) | 2 |
| Number of pages | 220 |
| Publication date | 2008 |
| Dimensions | 222 x 141 x 24 |
| Cover type | Paperback softback |
Springer London Ltd Principles of the spin model checker. 2008 ed., paperback/mordechai ben-ari
