| 000 | 00726nam a2200217Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1993##################000#0#eng## | ||
| 020 | _a9780521417181 | ||
| 022 | _a94132457 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a621.392 MEL | ||
| 100 | _aMelham, T | ||
| 245 |
_aHigher order logic and hardware verification _cT. Melham |
||
| 260 |
_aCambridge _bCambridge University Press _c1993 |
||
| 300 | _axiii, 165 p. : ill. ; 26 cm | ||
| 500 | _aIncludes bibliographical references (p. [147]-157) and index | ||
| 650 | _aIntegrated circuits - Very large scale integration - Data processing | ||
| 650 | _aLogic, Symbolic and mathematical | ||
| 990 | _a720f4c9bac10000c75b4f26d66cb30f8 | ||
| 991 | _a187325 | ||
| 999 |
_c204630 _d204630 |
||