000			01963cam a22003734a 4500
999			_c793 _d793
001			13550178
003			OSt
005			20200831145532.0
008			040407s2004 enka b 001 0 eng
010			_a 2004045921
020			_a9780521670890
040			_aDLC
042			_apcc
082	0	0	_a510.668 _bHUT
100	1		_aHuth, Michael,
245	1	0	_aLogic in computer science : _bmodelling and reasoning about systems / _cMichael Huth, Mark Ryan.
250			_a2nd ed.
260			_aCambridge [U.K.] ; _aNew York : _bCambridge University Press, _c2004.
300			_axiv, 427 p. : _bill. ; _c25 cm.
505			_t1. Propositional logic -- _t2. Predicate logic -- _t3. Verification by model checking -- _t4. Program verification -- _t5. Modal logics and agents -- _t6. Binary decision diagrams.
520			_a"Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. At the same time, the shift towards internet-based distributed computing
650		0	_aComputer logic.
650		0	_aLogic programming.
700	1		_aRyan, Mark,
942			_2ddc _cBK
100	1		_d1962-
504			_aIncludes bibliographical references (p. 414-417) and index.
700	1		_d1962-
856	4	1	_3Sample text _uhttp://www.loc.gov/catdir/samples/cam041/2004045921.html
856	4	1	_3Table of contents _uhttp://www.loc.gov/catdir/toc/cam041/2004045921.html
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/description/cam041/2004045921.html
906			_a7 _bcbc _corignew _d1 _eocip _f20 _gy-gencatlg