| 000 | 00801nam a2200253 a 4500 | ||
|---|---|---|---|
| 005 | 20150706003920.0 | ||
| 007 | a| ||||| | ||
| 008 | 071107s2005 000 0 eng d | ||
| 020 | _a0131433474 | ||
| 060 |
_a621.392 _bLH |
||
| 082 | _a621.392 | ||
| 084 |
_a621.392 _bLH |
||
| 100 | 1 |
_aLam, William K. C., , _d1962- |
|
| 245 | 1 | 0 |
_aHardware design verification _h[Book :] _bsimulation and formal method-based approaches / _c William K. Lam. |
| 250 | _a1st.ed. | ||
| 260 |
_aUpper Saddle River, NJ : _b Prentice Hall Professional Technical Reference, _c2005. |
||
| 300 |
_axxv, 585 p. : _bill. ; _c24 cm. |
||
| 440 | 0 | _aPrentice Hall modern semiconductor design series | |
| 521 | _aAll age. | ||
| 650 | 0 | _aIntegrated circuits--Verification. | |
| 001 | 0000057372 | ||
| 003 | 0000 | ||
| 942 | _cBK | ||
| 999 |
_c49362 _d49362 |
||