Fabio Somenzi – författare

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

5 produkter

Kategorier

5 produkter

Chao Wang, Gary D. Hachtel, Fabio Somenzi - Abstraction Refinement for Large Scale Model Checking, Inbunden

Abstraction Refinement for Large Scale Model Checking

AvChao Wang,Gary D. Hachtelm. fl.

Inbunden, Engelska, 2006

1 409 kr

Skickas inom 10-15 vardagar

Gary D. Hachtel, Fabio Somenzi - Logic Synthesis and Verification Algorithms, Inbunden

Logic Synthesis and Verification Algorithms

AvGary D. Hachtel,Fabio Somenzi

Inbunden, Engelska, 1996

1 269 kr

Skickas inom 10-15 vardagar

Gary D. Hachtel, Fabio Somenzi - Logic Synthesis and Verification Algorithms, Häftad

Logic Synthesis and Verification Algorithms

AvGary D. Hachtel,Fabio Somenzi

Häftad, Engelska, 2013

1 199 kr

Skickas inom 10-15 vardagar

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

Abstraction Refinement for Large Scale Model Checking

AvChao Wang,Gary D. Hachtelm. fl.

Häftad, Engelska, 2014

1 579 kr

Skickas inom 10-15 vardagar

Warren A. Hunt, Jr., Fabio Somenzi - Computer Aided Verification, Häftad

Computer Aided Verification

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

AvWarren A. Hunt, Jr.,Fabio Somenzi

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar