| 000 | 00717nam a2200229Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2005##################000#0#eng## | ||
| 020 | _a9780071443722 | ||
| 022 | _a2005047881 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a621.3815 PER | ||
| 100 | _aPerry, Douglas L | ||
| 245 |
_aApplied formal verification _cDouglas L. Perry, Harry D. Foster |
||
| 260 |
_aNew York _bMcGraw Hill _c2005 |
||
| 300 | _axiv, 237 p. : ill. ; 24 cm | ||
| 500 | _aIncludes bibliographical references (p. 227-229) and index | ||
| 650 | _aElectronic circuits - Testing | ||
| 650 | _aIntegrated circuits - Verification | ||
| 700 | _aFoster, Harry | ||
| 990 | _a32862e00ac10000c1d31788c0913131e | ||
| 991 | _a150554 | ||
| 999 |
_c371961 _d371961 |
||