| 000 | 00409nam a22001577a 4500 | ||
|---|---|---|---|
| 005 | 20201123153912.0 | ||
| 020 | _a9783662038093 | ||
| 100 |
_aKropf T _946548 |
||
| 245 | _aIntroduction to formal Hardware Verification | ||
| 264 |
_bSpringer (India) Pvt. Ltd. _c1999 |
||
| 300 | _a299 | ||
| 546 | _aENG | ||
| 650 |
_aComputer Science and Engineering _946362 |
||
| 650 |
_aHardware Bible _946549 |
||
| 942 | _cBK | ||
| 999 |
_c28597 _d28597 |
||