Fabio Somenzi - Böcker

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

5 produkter

Kategorier

5 produkter

Abstraction Refinement for Large Scale Model Checking

Av Chao Wang, Gary D. Hachtel m. fl

Inbunden, Engelska, 2006

1 399 kr

Skickas inom 10-15 vardagar

Logic Synthesis and Verification Algorithms

Av Gary D. Hachtel, Fabio Somenzi

Inbunden, Engelska, 1996

1 259 kr

Skickas inom 10-15 vardagar

Logic Synthesis and Verification Algorithms

Av Gary D. Hachtel, Fabio Somenzi m. fl

Häftad, Engelska, 2013

1 189 kr

Skickas inom 10-15 vardagar

Abstraction Refinement for Large Scale Model Checking

Av Chao Wang, Gary D. Hachtel m. fl

Häftad, Engelska, 2014

1 569 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Warren A. Hunt, Jr., Fabio Somenzi m. fl

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar