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
Kč 1,694
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 10 - 23
Christmas presents can be returned until 31 January

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  
Show all

More by Mordechai Ben-Ari

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