Cărți de Fabio Somenzi

Logic Synthesis and Verification Algorithms

Autor Gary D. Hachtel et al.

18 mar 2013

Preț: 610^.91 lei 718^.71 lei

43-57 zile

-15%

Abstraction Refinement for Large Scale Model Checking

Autor Chao Wang et al.

20 iul 2006

Preț: 644^.71 lei 758^.49 lei

43-57 zile

-15%

Computer Aided Verification

Editat de Jr. Hunt et al.

27 iun 2003

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

43-57 zile

-20%