Fabio Somenzi - Böcker

Visar alla böcker från författaren Fabio Somenzi.
5 produkter
Chao Wang, Gary D. Hachtel, Fabio Somenzi, Gary D Hachtel - Abstraction Refinement for Large Scale Model Checking, Inbunden

Abstraction Refinement for Large Scale Model Checking

Av Chao Wang, Gary D. Hachtel, Fabio Somenzi, Gary D Hachtel

Inbunden, Engelska, 2006

1 419 kr

Skickas inom 7-10 vardagar
Gary D. Hachtel, Fabio Somenzi - Logic Synthesis and Verification Algorithms, Inbunden

Logic Synthesis and Verification Algorithms

Av Gary D. Hachtel, Fabio Somenzi

Inbunden, Engelska, 1996

1 279 kr

Skickas inom 7-10 vardagar
Gary D. Hachtel, Fabio Somenzi, Gary D. Hachtel - Logic Synthesis and Verification Algorithms, Häftad

Logic Synthesis and Verification Algorithms

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

Häftad, Engelska, 2013

1 209 kr

Skickas inom 7-10 vardagar
Chao Wang, Gary D. Hachtel, Fabio Somenzi - Abstraction Refinement for Large Scale Model Checking, Häftad

Abstraction Refinement for Large Scale Model Checking

Av Chao Wang, Gary D. Hachtel, Fabio Somenzi

Häftad, Engelska, 2014

1 589 kr

Skickas inom 7-10 vardagar
Warren A. Hunt, Jr., Fabio Somenzi, Warren A. Hunt Jr, Jr. Hunt - Computer Aided Verification, Häftad
Del 2725 - Lecture Notes in Computer Science

Computer Aided Verification

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

Häftad, Engelska, 2003

739 kr

Skickas inom 7-10 vardagar