Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods Autor Jui-Ming Chang et al. 30 iun 1999 Hardback Preț: 634.95 lei 747.01 lei 43-57 zile -15%