Filtre: Engleză

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ț: 746^.34 lei 910^.18 lei

6-8 săpt.

-18%

Computer Aided Verification

Editat de Jr. Hunt et al.

27 iun 2003

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Logic Synthesis and Verification Algorithms

Autor Gary D. Hachtel et al.

18 mar 2013

Preț: 582^.49 lei 685^.29 lei

6-8 săpt.

-15%