000 00374nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a9789814612036
082 _a620.00452 P69M
100 _aPortinale, Luigi
245 0 _aModeling and Analysis of Dependable Systems
260 _aNew Jersey
_bWorld Scientific
_c2015
300 _axviii, 251 p. ; 23x1
942 _cBK
_2DDC
999 _c42639
_d42639