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

SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems Softcover reprint of hardcover 1st ed. 2007 edition

Malay Ganai

Preço
€ 104,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 10 - 18 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

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:

SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems Softcover reprint of hardcover 1st ed. 2007 edition

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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 19 de novembro de 2010
ISBN13 9781441943415
Editoras Springer-Verlag New York Inc.
Páginas 330
Dimensões 155 × 235 × 18 mm   ·   503 g
Idioma English  

Ver tudo de Malay Ganai ( por exemplo Hardcover Book e Paperback Book )