Symbolic Simulation Methods for Industrial Formal Verification - Robert B. Jones - Livros - Springer-Verlag New York Inc. - 9781402071034 - 30 de junho de 2002
Caso a capa e o título não sejam correspondentes, considere o título como correto

Robert B. Jones
Symbolic Simulation Methods for Industrial Formal Verification 2002 edition

Preço
R$ 572,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de out
Receba avisos sobre novos lançamentos de Robert B. Jones

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 volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.

151 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de junho de 2002
ISBN13 9781402071034
Editoras Springer-Verlag New York Inc.
Páginas 151
Dimensões 155 × 235 × 11 mm   ·   417 g
Idioma Inglês  
Editor Jones, Robert B.

Mais da mesma editora

Ver tudo de Robert B. Jones