Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Livros - Springer-Verlag New York Inc. - 9781489993953 - 6 de dezembro de 2014
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
CA$ 160,49
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 6 de dezembro de 2014
ISBN13 9781489993953
Editoras Springer-Verlag New York Inc.
Páginas 179
Dimensões 155 × 235 × 11 mm   ·   281 g
Idioma English  
Mostrar tudo

Mais por Chao Wang

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