| 000 | 00451nam a22001697a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 020 | _a9780792392538 | ||
| 082 | _a621.392 MER | ||
| 100 | _aMermet Jean | ||
| 245 | _aVHDL for Simulation Synthesis and Formal Proofs of Hardware | ||
| 250 | _a1 | ||
| 260 |
_aBoston _bKluwer Academic Publishers _c1995 |
||
| 300 | _a307 | ||
| 440 | _aVHDL for Simulation Synthesis and Formal Proofs of Hardware | ||
| 650 | _aVHDL | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c824979 _d824979 |
||