Big Books of 2026

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

by Jui-Ming Chang First published June 30th 1999

Sort by
Format
Language
Editions
Showing 1-3 of 3
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods (Hardcover)
Published June 30th 1999 by Springer
1999, Hardcover, 190 pages
Author(s):
ISBN:
9780792385608 (ISBN10: 0792385608)
ASIN:
0792385608
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods (Paperback)
Published June 30th 1999 by Springer
Paperback, 196 pages
Author(s):
ISBN:
9781461552000 (ISBN10: 1461552001)
ASIN:
1461552001
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods (Paperback)
Published October 29th 2012 by Springer
Softcover reprint of the original 1st ed. 1999, Paperback, 190 pages
Author(s):
ISBN:
9781461373681 (ISBN10: 1461373689)
ASIN:
1461373689
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page