Recomienda este artículo a tus amigos:
The SPIN Verification System - DIMACS: Series in Discrete Mathematics and Theoretical Computer Science American Mathematical Society
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de American Mathematical Society
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de mayo de 1997 |
| ISBN13 | 9780821806807 |
| Editores | American Mathematical Society |
| Dimensiones | 150 × 220 × 20 mm · 624 g |
Mas por American Mathematical Society
Mostrar todo
![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)
Más del mismo editor
![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)
Ver todo de American Mathematical Society ( Ej. Hardcover Book , Paperback Book y Book )