000			00433nam a2200157Ia 4500
008			190215s9999||||xx |||||||||||||| ||und||
020			_a9783540741046
082			_a004.015 _bKro
100			_aKroening, Daniel.
245		0	_aDecision Procedures: An Algorithmic Point of View
260			_aBerlin _bSpringer _c2008
300			_axvi, 304p.
650			_aDecision making--Mathematical models
700			_aStrichman, Ofer
942			_cBK
999			_c467 _d467