Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods


Book Informaton

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods

Author

Jui-Ming Chang; Massoud Pedram

Year of Publication

1999

Publisher

Springer US

Pages

XXIII, 167

Language

en

ISBN

9780792385608, 9781461551997

ARI Id

1664403149340


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.