| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a006792 | ||
| 020 | _a0792392531 | ||
| 082 |
_a621.392 _bN922 |
||
| 100 | _aed. by Jean Mermet | ||
| 110 | _aMermet, Jean | ||
| 245 | _aVHDL for similation, synthesis and formal proof of hardware | ||
| 260 |
_aDordrecht _bKluwer Academic _c1992 |
||
| 300 | _aix, 307p. | ||
| 490 | _aKluwer International Series in Engineering and Computer Science | ||
| 690 | _aVHDL (Computer hardware descriptive language) | ||
| 999 |
_c6790 _d6790 |
||