Logic Synthesis And Verification Algorithms
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 图书 |
| 出版: |
USA
Kluwer Academic Publishers
2003
|
| 版: | 7 |
| 主题: | |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
MARC
| LEADER | 00000nam a2200000Ia 4500 | ||
|---|---|---|---|
| 100 | |a Hachtel, G.D. | ||
| 020 | |a 9780792397465 | ||
| 250 | |a 7 | ||
| 942 | |c TB | ||
| 650 | |a Computer | ||
| 245 | |a Logic Synthesis And Verification Algorithms | ||
| 260 | |b Kluwer Academic Publishers |a USA |c 2003 | ||
| 082 | |a 621.395 |b HAC | ||
| 300 | |a 564 | ||
| 700 | |||
| 999 | |c 343521 |d 343521 | ||
| 952 | |0 0 |1 0 |4 0 |6 621_395000000000000_HAC |7 0 |9 414155 |a 60000139 |b 60000139 |d 2019-01-29 |e BOOK SERVICE SYNDICATE |g 0.00 |l 0 |o 621.395/HAC |p ED2946 |r 2019-02-05 |v 0.00 |w 2019-02-05 |y TB | ||
| 952 | |0 0 |1 0 |4 0 |6 621_395000000000000_HAC |7 0 |9 414156 |a 60000139 |b 60000139 |d 2019-01-29 |e BOOK SERVICE SYNDICATE |g 0.00 |l 0 |o 621.395/HAC |p ED2947 |r 2019-02-05 |v 0.00 |w 2019-02-05 |y RB | ||