000			00676pam a2200181a 44500
008			160408b1994 xxu||||| |||| 00| 0 eng d
020			_a0792394275
040			_aP K Kelkar Library, IIT Kanpur
082			_a621.395 _bSt29f
100			_aStaunstrup, Jorgen
245	0		_aA formal approach to hardware design _cJorgen Staunstrup
260			_aBoston _bKluwer Academic Publishers _c1994
300			_axiv, 232p
440			_aThe Kluwer International Series In Engineering And Computer Science / Edited By Jonathan Allen _v
650			_aApplication-specific integrated circuits--Design--Data processing
650			_aComputer-aided design
997			_aA175236 s C
999			_c371800 _d371800