1.
 |  | Title: Logic Minimization Algorithms for Vlsi Synthesis (Kluwer International Series in Engineering and Computer Science, 2) by Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen ISBN: 0898381649 Publisher: Kluwer Academic Publishers Pub. Date: August, 1984 List Price: $98.50 Amazon.com Price: $98.50 |
2.
 |  | Title: Logic Synthesis and Verification (Kluwer International Series in Engineering and Computer Science, 654) by Soha Hassoun, Tsutomu Sasao, Robert K. Brayton ISBN: 0792376064 Publisher: Kluwer Academic Publishers Pub. Date: 01 November, 2001 List Price: $141.00 Amazon.com Price: $141.00 |
3.
 |  | Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis (Kluwer International Series in Engineering and Computer Science, 270) by Robert K. Brayton, William K. C. Lam ISBN: 0792394542 Publisher: Kluwer Academic Publishers Pub. Date: April, 1994 List Price: $195.00 Amazon.com Price: $195.00 |
4.
 |  | Title: Logic Synthesis for Field-Programmable Gate Arrays by Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Rajeev Murgal ISBN: 0792395964 Publisher: Kluwer Academic Publishers Pub. Date: July, 1995 List Price: $145.00 Amazon.com Price: $145.00 |
5.
 |  | Title: Synthesis of Finite State Machines: Logic Optimization by Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto Sagiovanni-Vincentelli, Alberto Sangiovanni-Vincentelli ISBN: 0792398920 Publisher: Kluwer Academic Publishers Pub. Date: June, 1997 List Price: $185.50 Amazon.com Price: $185.50 |