Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
20 iul 2006
Hardback
Preț: 636.59 lei 748.92 lei
6-8 săpt.
-15%
Cărți editura Springer
Logic Minimization Algorithms for VLSI Synthesis
Autor Robert K. Brayton et al.
31 aug 1984
Hardback
Preț: 1119.46 lei 1399.32 lei
6-8 săpt.
-20%