| 000 | 00893nam a22002537a 4500 | ||
|---|---|---|---|
| 001 | 180024 | ||
| 003 | MOEB | ||
| 005 | 20221223064145.0 | ||
| 008 | 900101s1990 stka g 001 0 eng | ||
| 010 | _a91188267 | ||
| 020 | _a0748601597 | ||
| 035 | _a(SITECODE)OLD10243 | ||
| 040 | _aInstitut Teknologi Brunei | ||
| 084 | _aTK7874 DAV | ||
| 100 | 1 | _aDavie, Bruce S. | |
| 245 | 1 | 0 |
_aFormal specification and verification in VLSI design / _cBruce S. Davie. _h[Book]. |
| 260 |
_aEdinburgh : _bEdinburgh University Press, _c1990. |
||
| 300 |
_aix, 195 p. : _bill. ; _c23 cm. |
||
| 440 | 0 |
_aEdinburgh information technology series ; _v8 |
|
| 504 | _aIncludes bibliographical references (p. 184-193) and index. | ||
| 650 | 0 |
_aIntegrated circuits _xVerification. |
|
| 650 | 0 |
_aIntegrated circuits _xVery large scale integration _xComputer-aided design. |
|
| 998 | _eBook | ||
| 999 |
_c2180 _d2180 |
||
| 911 |
_a1 _badmin admin |
||
| 912 |
_a1 _badmin admin |
||