Symbolic Simulation Methods for Industrial Formal Verification - Robert B. Jones - Livros - Springer-Verlag New York Inc. - 9781461353959 - 23 de outubro de 2012
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 Softcover reprint of the original 1st ed. 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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de outubro de 2012
Data do lançamento original 2002
ISBN13 9781461353959
Editoras Springer-Verlag New York Inc.
Páginas 151
Dimensões 155 × 235 × 9 mm   ·   249 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Robert B. Jones