Principles of the Spin Model Checker
Principles of the Spin Model Checker
Paperback
Currently not available.
Contact us for further queries.About the Book
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.
All Editions
Paperback, 16th Edition
ISBN13: 9781846287695
Springer, 2008
Share Your Thoughts
Your review helps others make informed decisions
Click on a star to start your review