A Roadmap for Formal Property Verification - Pallab Dasgupta - Livros - Springer-Verlag New York Inc. - 9781402047572 - 5 de julho de 2006
Caso a capa e o título não sejam correspondentes, considere o título como correto

Pallab Dasgupta
A Roadmap for Formal Property Verification 2006 edition

Preço
R$ 656,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 23 de set - 5 de out
Receba avisos sobre novos lançamentos de Pallab Dasgupta

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:

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow.

252 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 5 de julho de 2006
ISBN13 9781402047572
Editoras Springer-Verlag New York Inc.
Páginas 252
Dimensões 155 × 235 × 15 mm   ·   621 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Pallab Dasgupta