Principles of the Spin Model Checker - Mordechai Ben-Ari - Books - Springer London Ltd - 9781846287695 - January 8, 2008
In case cover and title do not match, the title is correct

Mordechai Ben-Ari
Principles of the Spin Model Checker 2008 edition

Price
Íkr 11,299
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 15 - 29

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

220 pages, 1, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 8, 2008
ISBN13 9781846287695
Publishers Springer London Ltd
Pages 220
Dimensions 141 × 222 × 24 mm   ·   535 g
Language English  

More by Mordechai Ben-Ari

Show all

Mere med samme udgiver

See all of Mordechai Ben-Ari ( e.g. Paperback Book and Hardcover Book )