Pastāsti draugiem par šo preci:
The SPIN Verification System - DIMACS: Series in Discrete Mathematics and Theoretical Computer Science American Mathematical Society
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem American Mathematical Society izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1997. gada 30. maijs |
| ISBN13 | 9780821806807 |
| Izdevēji | American Mathematical Society |
| Izmēri | 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)
