Scalable Hardware Verification with Symbolic Simulation - Valeria Bertacco - Livros - Springer-Verlag New York Inc. - 9780387244112 - 21 de dezembro de 2005
Caso a capa e o título não sejam correspondentes, considere o título como correto

Scalable Hardware Verification with Symbolic Simulation 2006 edition

Valeria Bertacco

Preço
R 2.320,34

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 8 - 19 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

Também disponível como:

Scalable Hardware Verification with Symbolic Simulation 2006 edition

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

180 pages, 40 black & white illustrations, 13 black & white tables, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 21 de dezembro de 2005
ISBN13 9780387244112
Editoras Springer-Verlag New York Inc.
Páginas 180
Dimensões 155 × 235 × 12 mm   ·   458 g
Idioma English  
Mostrar tudo

Mais por Valeria Bertacco

Ver tudo de Valeria Bertacco ( por exemplo Paperback Book e Hardcover Book )