Filtre: Springer

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

6-8 săpt.

-15%

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%