Cărți de Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking

Integrated Circuits and Systems

Autor Chao Wang et al.

6 dec 2014

Preț: 753^.11 lei 918^.43 lei

6-8 săpt.

-18%

Computer Aided Verification

Editat de Jr. Hunt et al.

27 iun 2003

Preț: 331^.38 lei 414^.22 lei

6-8 săpt.

-20%

Logic Synthesis and Verification Algorithms

Autor Gary D. Hachtel et al.

29 iun 1996

Preț: 621^.54 lei 731^.22 lei

3-5 săpt.

-15%