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