10% de desconto

Reasoning In Boolean Networks eBook

Logic Synthesis And Verification Using Testing Techniques

de Dominik Stoffel e Wolfgang Kunz
idioma: inglês
Editor: SPRINGER US, março de 2013 ‧
171,59€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Covers research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. This book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques.

Reasoning In Boolean Networks

Logic Synthesis And Verification Using Testing Techniques

de Dominik Stoffel e Wolfgang Kunz

Propriedade Descrição
ISBN: 9781475725728
Editor: SPRINGER US
Data de Lançamento: março de 2013
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Frontiers In Electronic Testing
Classificação Temática: eBooks em Inglês > Informática > Edição de Imagem
EAN: 9781475725728

LIVROS DA MESMA COLEÇÃO