| 000 | 00383nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 190711s9999 xx 000 0 und d | ||
| 020 | _a3319071381 | ||
| 082 | _a621.38195404 C411 | ||
| 100 | _aCERNY, E. et. al. | ||
| 245 | 0 | _aSVA: THE POWER OF ASSERTIONS IN SYSTEM VERILOG | |
| 250 | _a2 | ||
| 260 |
_aLONDON _bSpringer _c2015 |
||
| 300 | _axix+590p.,24x16Cms. | ||
| 942 |
_cBK _2DDC |
||
| 999 |
_c42109 _d42109 |
||