Introduction to Formal Hardware Verification - Thomas Kropf - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540654452 - 16 de outubro de 1999
Caso a capa e o título não sejam correspondentes, considere o título como correto

Thomas Kropf
Introduction to Formal Hardware Verification

Preço
€ 49,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
Receba avisos sobre novos lançamentos de Thomas Kropf

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:

Presenting an overview of techniques for hardware verification, this book covers various approaches, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking. It also introduces the use of higher-order logic theorem proving for verifying circuit correctness.

308 pages, 110 black & white illustrations, 32 black & white tables, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 16 de outubro de 1999
ISBN13 9783540654452
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 308
Dimensões 156 × 234 × 19 mm   ·   517 g
Idioma Alemão  

Mais por Thomas Kropf

Mostrar tudo

Mais da mesma editora

Ver tudo de Thomas Kropf