Recomienda este artículo a tus amigos:
Computer-aided Verification - 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
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de junio de 1991 |
| ISBN13 | 9780821865941 |
| Editores | American Mathematical Society |
| Dimensiones | 150 × 220 × 20 mm · 1,36 kg |
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 )