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

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

Chao Wang

Preço
NOK 1.249
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 8 - 15 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:

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

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

Mais por Chao Wang

Ver tudo de Chao Wang ( por exemplo Hardcover Book e Paperback Book )