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

A Roadmap for Formal Property Verification 2006 edition

Pallab Dasgupta

Preço
€ 110,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 9 - 18 de set

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:

A Roadmap for Formal Property Verification 2006 edition

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
Mostrar tudo

Mais por Pallab Dasgupta

Ver tudo de Pallab Dasgupta ( por exemplo Hardcover Book e Paperback Book )