Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation - David L. Dill - Livros - MIT Press Ltd - 9780262541572 - 17 de março de 2003
Caso a capa e o título não sejam correspondentes, considere o título como correto

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

David L. Dill

Preço
¥ 5.718,70

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 7 - 15 de ago

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

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.

181 pages, Ill.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 17 de março de 2003
ISBN13 9780262541572
Editoras MIT Press Ltd
Páginas 181
Dimensões 216 × 279 × 25 mm   ·   430 g
Idioma English  

Ver tudo de David L. Dill ( por exemplo Paperback Book )