A Roadmap for Formal Property Verification - Pallab Dasgupta - Livros - Springer - 9789048171859 - 19 de outubro de 2010
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 Softcover reprint of hardcover 1st ed. 2006 edition

Preço
R$ 572,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 19 de outubro de 2010
ISBN13 9789048171859
Editoras Springer
Páginas 252
Dimensões 160 × 240 × 14 mm   ·   381 g
Idioma Inglês  

Mais por Pallab Dasgupta

Mostrar tudo

Mais da mesma editora

Ver tudo de Pallab Dasgupta