SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems - Malay Ganai - Livros - Springer-Verlag New York Inc. - 9780387691664 - 22 de maio de 2007
Caso a capa e o título não sejam correspondentes, considere o título como correto

Malay Ganai
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems 2007 edition

Preço
R$ 821,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Malay Ganai

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 provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

330 pages, 118 black & white illustrations, 33 black & white tables, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 22 de maio de 2007
ISBN13 9780387691664
Editoras Springer-Verlag New York Inc.
Páginas 330
Dimensões 155 × 235 × 20 mm   ·   703 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Malay Ganai