000			00634nam a2200205Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780792397465 _c(hbk)
082			_223 _a621.395 _bHAC
100			_aHachtel, Gary D.
245		0	_aLogic Synthesis and Verification Algorithms
260			_aLondon: _bKluwer Academic Publishers, _c1996
300			_a564 p.; _bIllus. Index: _c25 cm.
650			_aData Processing
650			_aIntegrated Circuits
650			_aLogic Design Data Processing
650			_aVerification Algorithms
650			_aVery Large Scale Integration Design
700			_aSomenzi, Fabio
942			_2ddc _cBK
999			_c18845 _d18845