Recomienda este artículo a tus amigos:
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition
Cornell University
Precio
€ 60,99
Pedido desde almacén remoto
Entrega prevista 25 de oct. - 6 de nov.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition
Cornell University
Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
412 pages
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 14 de febrero de 1990 |
| ISBN13 | 9780387972268 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 404 |
| Dimensiones | 155 × 235 × 21 mm · 576 g |
| Lengua | English |
| Editor | Brown, Geoffrey |
| Editor | Leeser, Miriam |
Mostrar todo
Mas por Cornell University
Ver todo de Cornell University ( Ej. Hardcover Book y Paperback Book )