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