000			00823 a2200253 4500
001			10347
003			IN-BhIIT
005			20230112121019.0
008			230112b |||||||| |||| 00| 0 eng d
020			_a9783662454886
040			_aIN-BhIIT
041			_aeng
082			_a003.76 _bREM/S
100			_aRemke, Anne _eAuthor _919361
245			_aStochastic model checking : _brigorous dependability analysis using model checking techniques for stochastic systems / _cAnne Remke and Marielle Stoelinga
260			_bSpringer, _c2014. _aHeidelberg :
300			_avii, 280 p. : _bill. ; _c23 cm.
504			_aIncluding reference and index.
650			_aStochastic models _919362
650			_aSoftware engineering _9982
650			_aLogic design _94965
700			_aStoelinga, Marielle _eAuthor _919363
942			_cTRB
999			_c12985 _d12985