000			00838nam a2200265 a 4500
001			u29387
003			KWAREICT
005			20220220103034.0
008			100426s2010 ne a f b 00110 eng d
020			_a9789048184910
035			_a(Kwareict) u29387
040			_cKwareTech
082	0	4	_a621.39501511324 _bT E P _221
245	0	0	_aTest pattern generation using Boolean proof engines / _cby Rolf Drechsler ... [et al.].
250			_a1st ed.
260	3		_aDordrecht ; _aLondon : _bSpringer, _c2010 _c1431.
300			_axii, 192 p. : _bill. ; _c24 cm.
504			_aIncludes bibliographical references and index.
650		4	_aIntegrated circuits _xVerification.
650		4	_aComputer software _xVerification.
650		4	_aComputer algorithms.
650		4	_aAlgebra, Boolean.
700	1		_aDrechsler, Rolf.
942			_2ddc _cBOOK
999			_c14400 _d14400