000			00435 a2200133 4500
020			_a9783540654452
082			_a621.395 _bKRO
100			_aKropf, Thomas
245			_aIntroduction to formal hardware verification
260			_bSpringer _aGermany _c1999
300			_ax, 299p.
650			_aIntegrated circuits-Verification; Integrated circuits-Very large scale integration-Computer-aided design; Artificial intelligence
942			_cBK
999			_c13685 _d13685