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 - Livros - Springer-Verlag New York Inc. - 9780387972268 - 14 de fevereiro de 1990
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 61,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 25 de out - 6 de nov

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do 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

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 14 de fevereiro de 1990
ISBN13 9780387972268
Editoras Springer-Verlag New York Inc.
Páginas 404
Dimensões 155 × 235 × 21 mm   ·   576 g
Idioma English  
Editor Brown, Geoffrey
Editor Leeser, Miriam
Mostrar tudo

Mais por Cornell University

Ver tudo de Cornell University ( por exemplo Hardcover Book e Paperback Book )