Logic Synthesis and Verification Algorithms
Autor Gary D. Hachtel et al.
29 iun 1996
Hardback
Preț: 621.54 lei 731.22 lei
22-36 zile
-15%
Cărți editura Springer
Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
20 iul 2006
Hardback
Preț: 643.71 lei 757.31 lei
43-57 zile
-15%
Logic Minimization Algorithms for VLSI Synthesis
Autor Robert K. Brayton et al.
17 sep 2011
Paperback
Preț: 1113.77 lei 1392.22 lei
43-57 zile
-20%