Dominik Stoffel – författare

Visar alla böcker från författaren Dominik Stoffel. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Reasoning in Boolean Networks

   Logic Synthesis and Verification Using Testing Techniques

   Av Wolfgang Kunz, Dominik Stoffel

   Inbunden, 1997

   1692 kr

   Lägg i varukorg

   Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits …

2. 

   Reasoning in Boolean Networks

   Logic Synthesis and Verification Using Testing Techniques

   Av Wolfgang Kunz, Dominik Stoffel

   Häftad, 2010

   1643 kr

   Lägg i varukorg

   Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits …

3. 

   Reasoning in Boolean Networks

   Logic Synthesis and Verification Using Testing Techniques

   Av Dominik Stoffel, Wolfgang Kunz

   E-bok, 2013

   2111 kr

   Lägg i varukorg

   Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits …