| 000 | 00596nam a22001697a 4500 | ||
|---|---|---|---|
| 008 | 230323b |||||||| |||| 00| 0 eng d | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_aD 681.3.02(082.2) _bN3 |
||
| 245 |
_aCorrect hardware design and verification methods _c/ IFIP WG10.2 advanced research working conference CHARME'93 Arles, Frances, 24-26 May, 1993 |
||
| 260 |
_aLondon: _bSpringer-Verlag, _c1993 |
||
| 300 | _a269p. | ||
| 650 | _aComputer | ||
| 653 | _aHardware | ||
| 700 | 1 | 0 | _aMilne, George J (Ed.) |
| 700 | 1 | 0 | _aPierre, Laurence (Ed.) |
| 942 |
_2udc _cPR |
||
| 999 |
_c13030 _d13030 |
||