SAT-Based Scalable Formal Verification Solutions Integrated Circuits and Systems Autor Malay Ganai et al. 19 noi 2010 Paperback Preț: 686.67 lei 858.33 lei 43-57 zile -20%