A Roadmap for Formal Property Verification - Pallab Dasgupta - Livros - Springer - 9783540569855 - 28 de fevereiro de 2001
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
Mex$ 2.216,46

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 13 - 22 de ago

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. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 28 de fevereiro de 2001
ISBN13 9783540569855
Editoras Springer
Páginas 252
Dimensões 159 × 16 × 244 mm   ·   834 g
Idioma English  
Mostrar tudo

Mais por Pallab Dasgupta

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