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
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 |
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 )