| 000 | 00501nam a2200169Ia 4500 | ||
|---|---|---|---|
| 999 |
_c13774 _d13774 |
||
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a9780262026499 _chbk |
||
| 082 |
_a004.24 _bBAI |
||
| 100 | _aBaier, Christel | ||
| 245 | 0 | _aPrinciples of model checking | |
| 260 |
_aCambridge: _bMIT Press, _c2008 |
||
| 300 |
_axvii, 975 p.; _bill.: _c26 cm. |
||
| 365 |
_aINR _b2712.00 |
||
| 650 | _aSystem Verification | ||
| 650 | _aConcurrent | ||
| 650 | _aLinear | ||
| 650 | _aTree Logic | ||
| 650 | _aTCTL | ||
| 650 | _aROBDD | ||
| 700 | _aKatoen, Joost-Pieter | ||
| 942 |
_2ddc _cBK |
||