| 000 | 00460nam a22001697a 4500 | ||
|---|---|---|---|
| 999 |
_c863 _d863 |
||
| 005 | 20190924115630.0 | ||
| 008 | 190924b ||||| |||| 00| 0 eng d | ||
| 020 | _a9780262026499 | ||
| 082 |
_a004.24 _bBai |
||
| 100 |
_aBaier, Christel _9208 |
||
| 245 | 0 | _aPrinciples of Model Checking | |
| 260 |
_aU.S.A. _bMIT Press _c2008 |
||
| 300 | _axvii, 963p. | ||
| 650 |
_aComputer systems--Verification _9209 |
||
| 700 |
_aKatoen, Joost-Pieter _9210 |
||
| 942 |
_2ddc _cBK |
||