Logic Synthesis and Verification Algorithms
Autor Gary D. Hachtel et al.
18 mar 2013
Paperback
Preț: 610.91 lei 718.71 lei
43-57 zile
-15%
Cărți de Fabio Somenzi
Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
20 iul 2006
Hardback
Preț: 644.71 lei 758.49 lei
43-57 zile
-15%