000			00647nam a2200181Ia 4500
020			_a0412727102
082			_a621.395078 _bADV
245			_aAdvances in formal design methods for CAD _b: proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design, Jne 1995 _cedited by John S. Gero
260			_aLondon: _bChapman & Hall, _c1996.
300			_bx, 298p.
500			_aHB
546			_aeng
650			_aElectronic circuit design-data proceeding _9219482
650			_aComputer aided design-data proceeding _9219483
700			_aGero, John S. (ed.) _9219484
700			_aSudweeks, Fay (ed.) _9219485
942			_cBK
999			_c97317 _d97317