| 000 | 00537 a2200145 4500 | ||
|---|---|---|---|
| 020 | _a007707811X | ||
| 082 |
_a621.391 _bMIF |
||
| 100 |
_aMilne,George _9100541 |
||
| 245 |
_aFormal specufication and Verification Of Digital Systems _cMilne,George |
||
| 260 |
_aLondon: _bMcGraw Hill, _c1994. |
||
| 300 | _a240p. | ||
| 546 | _aeng | ||
| 650 |
_aDigital Integrated Circuits -Design and Construction-Data processing -Integrated circuits-Verification Hard ware descripition language _vDigital inted circuits-Verification _9100542 |
||
| 942 | _cBK | ||
| 999 |
_c71748 _d71748 |
||