谁有下面基本关于SYNTHESIS算法的书？

opqrst

Logic Synthesis and Verification Algorithms  by Gary D. Hachtel and Fabio
Somenzi (Paperback - Feb 10, 2006)

Logic Synthesis  by Srinivas Devadas, Abhijit Ghosh, and Kurt Keutzer (Hardcover
- Jun 1, 1994)

Synthesis of Finite State Machines:: Logic Optimization  by Tiziano Villa,
Timothy Kam, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli (Hardcover
- April 30, 1997)
     
Logic Synthesis and Verification (The International Series in Engineering
and Computer Science) by Soha Hassoun and Tsutomu Sasao (Hardcover - Nov
1, 2001)

Logic Synthesis and Optimization (The International Series in Engineering
and Computer Science) (Hardcover)
by Tsutomu Sasao (Editor)

Logic and Architecture Synthesis (Hardcover)
by Gabriele Saucier (Editor), Anne Mignotte (Editor)
   
Logic Synthesis and Optimization (The International Series in Engineering
and Computer Science) by Tsutomu Sasao (Hardcover - Jan 31, 1993)

Synthesis of Finite State Machines:: Logic Optimization    by Tiziano Villa, Timothy Kam, Robert K. Brayton,  and Alberto L. Sangiovanni-Vincentelli       (Hardcover - April 30, 1997)