| 000 | 00390nam a22001337a 4500 | ||
|---|---|---|---|
| 020 | _a9780792397465 | ||
| 040 | _cNust | ||
| 082 |
_a621.395 _bHAC |
||
| 100 |
_aGary D. Hachtel _9127108 |
||
| 245 | _aLogic Synthesis and verification algorithms | ||
| 260 |
_aBoston: _bKluwer academic publishers, _c1996. |
||
| 650 |
_aLogic Synthesis and verification algorithms _973801 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c612397 _d612397 |
||