Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
- Kirjailija
- Chang Jui-Ming, Pedram Massoud
- ISBN
- 9781461373681
- Kieli
- englanti
- Paino
- 281 grammaa
- Julkaisupäivä
- 29.10.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 167
