000			02065cam a2200397Ma 4500
001			4245568
003			OSt
005			20170217163045.0
006			m o d
007			cr cn|||||||||
008			011024s1999 maua ob 001 0 eng d
020			_a0585385580 _q(electronic bk.)
020			_a9780585385587 _q(electronic bk.)
040			_aIISER Bhopal _c( Recommended by Dr. Arpit Sharma)
082	0	4	_a004.21 C55M _223
100	1		_aClarke, E. M., _d1945- _919622
222			_aEECS
222			_aComputer Systems
245	1	0	_aModel checking _cEdmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
260			_aCambridge, Mass. : _bMIT Press, _c©1999.
300			_a1 online resource (xiv, 314 pages) : _billustrations
504			_aIncludes bibliographical references (pages 297-307) and index.
505	0	0	_tModeling systems -- _tTrmporal logics -- _tModel checking -- _tBinary decision diagram -- _tSymbolic model checking -- _tModel checking for the u-calculus -- _tModel checking in practice -- _tModel checking and automata theory -- _tPartial order reduction -- _tEquivalences and preorders between structures -- _tCompositional reasoning -- _tAbstraction -- _tSymmetry -- _tInfinite families of finite-state systems -- _tDiscrete real-time and quantitative temporal analysis -- _tContinuous real time.
650		0	_aComputer systems _xVerification. _919623
650		7	_aCOMPUTERS _xSoftware Development & Engineering _xSystems Analysis & Design. _2bisacsh _919624
650		7	_aComputer systems _xVerification. _2fast _919623
650	1	7	_aComputersystemen. _2gtt _919625
650	1	7	_aModellen (theorie) _2gtt _919626
650	1	7	_aVerificatie. _2gtt _919627
655		4	_aElectronic books. _919628
700	1		_aGrumberg, Orna. _919629
700	1		_aPeled, Doron A., _d1962- _919630
776	0	8	_iPrint version: _aClarke, E.M., 1945- _tModel checking. _dCambridge, Mass. : MIT Press, ©1999 _z0262032708 _w(DLC) 99017979 _w(OCoLC)40675218
856	4	0	_uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio4245568 _zAll EBSCO eBooks
942			_2ddc _cBK
999			_c7767 _d7767