Principles of the Spin Model Checker
Mordechai Ben-Ari
Springer London Ltd, 2008
88,50 €On orderDelivery: 2-3 weeks
Principles of Spin is an introductory book, 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.
- ISBN-13
- 9781846287695
- ISBN-10
- 1846287693
- Publisher
- Springer London Ltd
- Year
- 2008
- Publication date
- 2008-01-08
- Pages
- 220
- Dimensions
- 222x141x24
- Weight
- 535