Engenharia Geral

Digital System Verification

A Combined Formal Methods And Simulation Framework

de Mitchel Thornton e Lun Li 

Bertrand.pt - Digital System Verification
idioma: Inglês
Editor: Springer International Publishing AG
Edição: fevereiro de 2010
Portes
Grátis
20%
33,79€
Poupe 6,76€ (20%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

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.

Da mesma coleção

ver +
Arduino Viii
10%
59,61€ 53,65€
Springer Nature Switzerland
eBook
Arduino Vii
10%
158,34€ 142,51€
Springer Nature Switzerland
eBook
Digital System Verification
A Combined Formal Methods And Simulation Framework
de Mitchel Thornton e Lun Li 
ISBN:
9783031798146
Ano de edição:
02-2010
Editor:
Springer International Publishing AG
Idioma:
Inglês
Dimensões:
191 x 235 x 20 mm
Encadernação:
Capa mole
Páginas:
79
Tipo de Produto:
Livro
Coleção:
Synthesis Lectures On Digital Circuits & Systems
Classificação Temática:
Livros  >  Livros em Inglês  >  Engenharia  >  Engenharia Geral

EAN:
9783031798146

Dos mesmos autores

Integrating Formal Verification And Simulation In Digital Logic
46,29€
MORGAN & CLAYPOOL PUBLISHERS
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.