000			00587nam a2200169Ia 4500
008			161214s9999 xx 000 0 und d
020			_a0792398920 _c(hbk)
082			_223 _a621.395 _bVIL
100			_aVilla, Tiziano
245		0	_aSynthesis of finite state machines : logic optimization
260			_aLondon: _bKluwer Academic Publishers, _c1997
300			_a381 p.; _bill., index: _c24 cm.
650			_aIntegrated circuits -- Very large scale integration -- Computer-aided design
650			_aLogic design -- Data processing
650			_aSequential machine theory
942			_2ddc _cBK
999			_c4026 _d4026