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 |