Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Livros - Springer-Verlag New York Inc. - 9780387341552 - 20 de julho de 2006
Caso a capa e o título não sejam correspondentes, considere o título como correto

Chao Wang
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

Preço
€ 115,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 29 de out - 12 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Chao Wang

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:

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.

179 pages, biography

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

Mais por Chao Wang

Mostrar tudo

Mais da mesma editora

Ver tudo de Chao Wang