| 000 | 00460nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 180620b2000 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a079237858X | ||
| 082 | _a621.3815 DRE | ||
| 100 | _aDrechsler, Rolf | ||
| 245 |
_aFormal Verification of Circuits _cRolf Drechsler |
||
| 260 |
_aBoston _bKluwer Academic Publishers _c2000 |
||
| 300 | _aviii, 179p. | ||
| 365 | _a.00 | ||
| 650 | _aElectronic circuits --Testing. | ||
| 906 | _a2daebb357f00000101325c8484ba8e1e | ||
| 999 |
_c59561 _d59561 |
||