| 000 | 00614nam a22002177a 4500 | ||
|---|---|---|---|
| 003 | SNU | ||
| 005 | 20140629181632.0 | ||
| 008 | 140629b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781441909688 | ||
| 028 | _aHCL | ||
| 082 | _a005.14 GLA | ||
| 100 | _aGlasser, Mark | ||
| 245 |
_aOpen verification methodology cookbook _c/ Mark Glasser |
||
| 260 |
_aNew York _b: Springer, _c©2009. |
||
| 300 |
_axx, 235 p _b: ill _c; 23cm |
||
| 655 | _aComputer software -- Verification. | ||
| 655 | _aIntegrated circuits -- Verification. | ||
| 655 | _aGlasser, Mark | ||
| 655 | _aComputer Science | ||
| 942 |
_2ddc _cHCL |
||
| 999 |
_c13477 _d13477 |
||