Formal Equivalence Checking and Design Debugging Frontiers in Electronic Testing, nr. 12 Autor Shi-Yu Huang et al. 30 iun 1998 Hardback Preț: 1067.07 lei 1301.30 lei 6-8 săpt. -18%