000			00795nam a22002537a 4500
003			IIITD
005			20231215020003.0
008			200106b xxu||||| |||| 00| 0 eng d
020			_a9788184893960
040			_aIIITD
082			_a004.015 _bBRA-C
100			_aBradley, Aaron R.
245			_aThe calculus of computation : _bdecision procedures with applications to verification _cby Aaron R. Bradley and Zohar Manna
260			_bSpringer, _aNew York : _c©2007
300			_axv, 366 p. : _bill. ; _c22cm.
504			_aIncludes bibliography and index
650			_aComputer science and engineering
650			_aComputer logic
650			_aComputer programs verification
650			_aLogic design
650			_aAlgorithms
700			_aManna, Zohar
942			_2ddc _cBK _04
999			_c117455 _d117455