Scalable Hardware Verification with Symbolic Simulation - Valeria Bertacco - Livros - Springer-Verlag New York Inc. - 9781441937391 - 29 de outubro de 2010
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 Softcover reprint of hardcover 1st ed. 2006 edition

Preço
R$ 573,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 29 de outubro de 2010
ISBN13 9781441937391
Editoras Springer-Verlag New York Inc.
Páginas 180
Dimensões 155 × 235 × 10 mm   ·   276 g
Idioma Inglês  

Mais por Valeria Bertacco

Mostrar tudo

Mais da mesma editora

Ver tudo de Valeria Bertacco