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

Valeria Bertacco
Scalable Hardware Verification with Symbolic Simulation 2006 edition

Preço
R$ 655,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 24 de set - 6 de out
Receba avisos sobre novos lançamentos de Valeria Bertacco

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

Ainda não avaliado

Também disponível como:

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 Inglês  

Mais da mesma editora

Ver tudo de Valeria Bertacco