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

Scalable Hardware Verification with Symbolic Simulation Softcover reprint of hardcover 1st ed. 2006 edition

Valeria Bertacco

Preço
€ 97,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 8 - 18 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 Softcover reprint of hardcover 1st ed. 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     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 English  
Mostrar tudo

Mais por Valeria Bertacco

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