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