Hoppa till sidans huvudinnehåll

Fabio Somenzi - Böcker

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

Abstraction Refinement for Large Scale Model Checking

AvChao Wang,Gary D. Hachtelm. fl.

Inbunden, Engelska, 2006

1 379 kr

Skickas inom 10-15 vardagar

Logic Synthesis and Verification Algorithms

AvGary D. Hachtel,Fabio Somenzi

Inbunden, Engelska, 1996

1 249 kr

Skickas inom 10-15 vardagar

Logic Synthesis and Verification Algorithms

AvGary D. Hachtel,Fabio Somenzi

Häftad, Engelska, 2013

1 179 kr

Skickas inom 10-15 vardagar

Abstraction Refinement for Large Scale Model Checking

AvChao Wang,Gary D. Hachtelm. fl.

Häftad, Engelska, 2014

1 549 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

719 kr

Skickas inom 10-15 vardagar