Tell your friends about this item:
Computer-aided Verification - 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
Computer-aided Verification - DIMACS: Series in Discrete Mathematics and Theoretical Computer Science
American Mathematical Society
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.
illustrations
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | June 30, 1991 |
| ISBN13 | 9780821865941 |
| Publishers | American Mathematical Society |
| Dimensions | 150 × 220 × 20 mm · 1.36 kg |
![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)
