Fabio Somenzi – författare

Visar alla böcker från författaren Fabio Somenzi.

5 produkter

1. 

   Abstraction Refinement for Large Scale Model Checking

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

   Inbunden, 2006

   1399 kr

   Lägg i varukorg

2. 

   Logic Synthesis and Verification Algorithms

   Av Gary D. Hachtel, Fabio Somenzi

   Inbunden, 1996

   1259 kr

   Lägg i varukorg

3. 

   Logic Synthesis and Verification Algorithms

   Av Gary D. Hachtel, Fabio Somenzi

   Häftad, 2013

   1199 kr

   Lägg i varukorg

4. 

   Abstraction Refinement for Large Scale Model Checking

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

   Häftad, 2014

   1579 kr

   Lägg i varukorg

5. 

   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

   729 kr

   Lägg i varukorg