| 000 | 00655nam a2200217Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20230418132452.0 | ||
| 008 | 180620b2009 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781441909671 | ||
| 040 | _cJUIT, Solan | ||
| 082 | _a005.14 GLA | ||
| 100 | _aGlasser, Mark | ||
| 245 |
_aOpen Verification Methodology Cookbook _cby Mark Glasser |
||
| 260 |
_aNew York _bSpringer Verlag, Netherlands _c2009 |
||
| 300 | _axx, 235p. | ||
| 505 | _a<p><strong>Table of Contents:</strong>< | ||
| 650 | _aComputer software - Verification | ||
| 650 | _aIntegrated circuits - Verification | ||
| 906 | _a88458afdac1049190188c83e779deba1 | ||
| 942 |
_2ddc _cRB |
||
| 999 |
_c41649 _d41649 |
||