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 - Cornell University - Libros - Springer-Verlag New York Inc. - 9780387972268 - 14 de febrero de 1990
En caso de que portada y título no coincidan, el título será el correcto

Cornell University
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

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 12 - 20 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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 Inglés  
Editor Brown, Geoffrey
Editor Leeser, Miriam

Mas por Cornell University

Mostrar todo

Ver todo de Cornell University ( Ej. Hardcover Book y Paperback Book )