SAT-Based Scalable Formal Verification Solutions Integrated Circuits and Systems Autor Malay Ganai et al. 22 mai 2007 Hardback Preț: 958.63 lei 1198.29 lei 43-57 zile -20%