| 000 | 00540 a2200193 4500 | ||
|---|---|---|---|
| 005 | 20240419121413.0 | ||
| 008 | 171009b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780262026499 | ||
| 041 | _aeng | ||
| 082 | _a004.24 BAI/P | ||
| 100 |
_aBaier, Christel _91324 |
||
| 245 | _aPrinciples of model checking | ||
| 260 |
_bThe MIT Press _c2008 _aCambridge |
||
| 300 | _axvii, 963p. | ||
| 650 |
_aComputer systems-Verification _91325 |
||
| 650 |
_aComputer software-Verification _91326 |
||
| 700 |
_aKatoen, Joost-Pieter _91327 |
||
| 942 | _cBK | ||
| 999 |
_c712 _d712 |
||