Fabio Somenzi – författare

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

5 produkter

Kategorier

5 produkter

Abstraction Refinement for Large Scale Model Checking
AvChao Wang,Gary D. Hachtelm. fl.
Inbunden, Engelska, 2006
1 419 kr
Skickas inom 10-15 vardagar
Logic Synthesis and Verification Algorithms
AvGary D. Hachtel,Fabio Somenzi
Inbunden, Engelska, 1996
1 279 kr
Skickas inom 10-15 vardagar
Logic Synthesis and Verification Algorithms
AvGary D. Hachtel,Fabio Somenzi
Häftad, Engelska, 2013
1 209 kr
Skickas inom 10-15 vardagar
Abstraction Refinement for Large Scale Model Checking
AvChao Wang,Gary D. Hachtelm. fl.
Häftad, Engelska, 2014
1 589 kr
Skickas inom 10-15 vardagar
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
739 kr
Skickas inom 10-15 vardagar