Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
20 iul 2006
Hardback
Preț: 629.19 lei 740.23 lei
6-8 săpt.
-15%
Cărți de Gary D. Hachtel
Logic Synthesis and Verification Algorithms
Autor Gary D. Hachtel et al.
18 mar 2013
Paperback
Preț: 593.61 lei 698.36 lei
6-8 săpt.
-15%
Logic Minimization Algorithms for VLSI Synthesis
Autor Robert K. Brayton et al.
31 aug 1984
Hardback
Preț: 1136.37 lei 1420.47 lei
6-8 săpt.
-20%