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

A Roadmap for Formal Property Verification Softcover reprint of hardcover 1st ed. 2006 edition

Pallab Dasgupta

Preço
A$ 175,42

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 12 - 20 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 Softcover reprint of hardcover 1st ed. 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     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 English  
Mostrar tudo

Mais por Pallab Dasgupta

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