Fabio Somenzi – författare

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

8 produkter

1. 

   Logic Synthesis and Verification Algorithms

   Av Fabio Somenzi, Gary D. Hachtel

   E-bok, 2005

   1214 kr

   Lägg i varukorg

   Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis …

2. 

   Abstraction Refinement for Large Scale Model Checking

   Av Chao Wang, Gary D. Hachtel m. fl.

   Inbunden, 2006

   1095 kr

   Lägg i varukorg

   Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable …

3. 

   Abstraction Refinement for Large Scale Model Checking

   Av Fabio Somenzi, Gary D. Hachtel m. fl.

   E-bok, 2006

   1427 kr

   Lägg i varukorg

   Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today''s digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable …

4. 

   Logic Synthesis and Verification Algorithms

   Av Gary D. Hachtel, Fabio Somenzi

   Inbunden, 1996

   989 kr

   Lägg i varukorg

   Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis …

5. 

   Logic Synthesis and Verification Algorithms

   Av Gary D. Hachtel, Fabio Somenzi

   Häftad, 2013

   934 kr

   Lägg i varukorg

   Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis …

6. 

   Abstraction Refinement for Large Scale Model Checking

   Av Chao Wang, Gary D. Hachtel m. fl.

   Häftad, 2014

   1231 kr

   Lägg i varukorg

   Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable …

7. 

   Computer Aided Verification

   15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

   Av Warren A. Hunt, Jr., Fabio Somenzi

   Häftad, 2003

   569 kr

   Lägg i varukorg

   The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in …

8. 

   Computer Aided Verification

   15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

   Av Fabio Somenzi, Warren A. Hunt, Jr.

   E-bok, 2011

   734 kr

   Lägg i varukorg