000 | 00635nam a2200205Ia 4500 | ||
---|---|---|---|
008 | 131122s9999 xx 000 0 und d | ||
040 | _aISI KOLKATA | ||
041 | _aEnglish | ||
082 |
_a621.381952 _bIn61(93) |
||
100 | _aMilne G J Ed. | ||
110 | _aIFIP WG 10.2 Advanced Research Working Conference(1993 : Arles) | ||
111 | _c, France | ||
245 |
_aCorrect hardware design and verification methods _bproceedings |
||
260 |
_aBerlin _bSpringer-Verlag _c1993 |
||
300 | _aviii,269p. | ||
440 | _aLecture notes in computer science ; no.683) | ||
650 | _aElectrical engineering | ||
650 | _aHardware design | ||
942 | _cBK | ||
999 |
_c108894 _d108894 |