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
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 |
More by American Mathematical Society
Show all
![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)
More from the same publisher
![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)
See all of American Mathematical Society ( e.g. Hardcover Book , Paperback Book and Book )