Digital System Verification: A Combined Formal Methods and Simulation Framework - Synthesis Lectures on Digital Circuits & Systems - Lun Li - Livros - Springer International Publishing AG - 9783031798146 - 18 de fevereiro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Lun Li
Digital System Verification: A Combined Formal Methods and Simulation Framework - Synthesis Lectures on Digital Circuits & Systems

Preço
€ 29,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 13 - 21 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro

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

This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 18 de fevereiro de 2010
ISBN13 9783031798146
Editoras Springer International Publishing AG
Páginas 79
Dimensões 150 × 220 × 10 mm   ·   197 g
Idioma Inglês  

Ver tudo de Lun Li ( por exemplo Paperback Book )