SAT-Based Scalable Formal Verification Solutions Integrated Circuits and Systems Autor Malay Ganai et al. 22 mai 2007 Hardback Preț: 1032.67 lei 1290.83 lei 6-8 săpt. -20%
