| 000 | 00478nam a2200193Ia 4500 | ||
|---|---|---|---|
| 008 | 220901s9999 xx 000 0 und d | ||
| 041 | _a ENGLISH | ||
| 082 | _a621.317.317 | ||
| 082 | _bHAC | ||
| 100 | _aHACHTEL, GARY. D. | ||
| 245 | 0 | _aLOGIC SYNTHESIS AND VERIFICATION ALGORITHMS. | |
| 250 | _b2006 | ||
| 260 | _aNEW DELHI | ||
| 260 | _bSPRINGER (INDIA) PVT. LTD. | ||
| 300 | _a567 | ||
| 650 | _a LOGIC SYNTHESIS | ||
| 700 | _aSOMENZI, FABIO | ||
| 942 | _cREF | ||
| 999 |
_c133853 _d133853 |
||