Tell your friends about this item:
The SPIN Verification System - DIMACS: Series in Discrete Mathematics and Theoretical Computer Science American Mathematical Society
Do you have a profile? Log in
Christmas presents can be returned until 31 January
Get notified about new American Mathematical Society releases
Our customers say:
Add to your iMusic wish list
The SPIN Verification System - DIMACS: Series in Discrete Mathematics and Theoretical Computer Science
American Mathematical Society
What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996.
illustrations
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | May 30, 1997 |
| ISBN13 | 9780821806807 |
| Publishers | American Mathematical Society |
| Dimensions | 150 × 220 × 20 mm · 624 g |
![Cover for American Mathematical Society · Runs and Patterns in Probability: Selected Papers - Mathematics and Its Applications (Hardcover Book) [Annotated edition] (1994)](https://imusic.b-cdn.net/images/item/original/346/9780792328346.jpg?american-mathematical-society-1994-runs-and-patterns-in-probability-selected-papers-mathematics-and-its-applications-hardcover-book&class=scaled&v=1425309962)
![Cover for American Mathematical Society · Theorie Des Fonctions Algebriques De Deux Variables Independantes, Volume I & II - Chelsea Publications (Hardcover Book) [2nd Ed. edition] (1971)](https://imusic.b-cdn.net/images/item/original/484/9780828402484.jpg?american-mathematical-society-1971-theorie-des-fonctions-algebriques-de-deux-variables-independantes-volume-i-ii-chelsea-publications-hardcover-book&class=scaled&v=1543621852)
![Cover for Ethan D. Bolker · Common Sense Mathematics - AMS / MAA Textbooks (Paperback Book) [Third edition] (2026)](https://imusic.b-cdn.net/images/item/original/934/9781470484934.jpg?ethan-d-bolker-2026-common-sense-mathematics-ams-maa-textbooks-paperback-book&class=scaled&v=1787581922)
![Cover for Alex Kasman · Glimpses of Soliton Theory: The Algebra and Geometry of Nonlinear PDEs - Student Mathematical Library (Paperback Book) [Second edition] (2023)](https://imusic.b-cdn.net/images/item/original/627/9781470472627.jpg?alex-kasman-2023-glimpses-of-soliton-theory-the-algebra-and-geometry-of-nonlinear-pdes-student-mathematical-library-paperback-book&class=scaled&v=1741190549)
