SAT-Based Scalable Formal Verification Solutions Integrated Circuits and Systems Autor Malay Ganai et al. 19 noi 2010 Paperback Preț: 678.21 lei 847.76 lei 6-8 săpt. -20%