Logic Synthesis and Verification Algorithms Autor Gary D. Hachtel et al. 29 iun 1996 Hardback Preț: 621.54 lei 731.22 lei 3-5 săpt. -15%
Abstraction Refinement for Large Scale Model Checking Integrated Circuits and Systems Autor Chao Wang et al. 6 dec 2014 Paperback Preț: 753.11 lei 918.43 lei 6-8 săpt. -18%
Logic Minimization Algorithms for VLSI Synthesis The Springer International Series in Engineering and Computer Science, nr. 2 Autor Robert K. Brayton et al. 31 aug 1984 Hardback Preț: 1119.46 lei 1399.32 lei 6-8 săpt. -20%