000			00544nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a079237858X _c(hbk)
082			_223 _a621.38150287 _bDRE
100			_aDrechsler, Rolg
245		0	_aFormal Verification of Circuits
260			_aLondon: _bKluwer Academic Publishers, _c2000
300			_a179 p.; _bIllus. Index.: _c24 cm.
650			_aArithmetic Circuits
650			_aCircuits
650			_aDigital Systems
650			_aMinimization of DDS
650			_aTechnology
942			_2ddc _cBK
999			_c25484 _d25484