| 000 | 00729nam a2200229Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2008##################000#0#eng## | ||
| 020 | _a9780262026499 | ||
| 022 | _a2007037603 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a004.24 BAI | ||
| 100 | _aBaier, Christel | ||
| 245 |
_aPrinciples of model checking _cChristel Baier, Joost-Pieter Katoen |
||
| 260 |
_aCambridge, MA _bThe MIT Press _c2008 |
||
| 300 | _axvii, 975 p. : ill. ; 26 cm | ||
| 500 | _aIncludes bibliographical references (p. 931-964) and index | ||
| 650 | _aComputer software - Verification | ||
| 650 | _aComputer systems - Verification | ||
| 700 | _aKatoen, Joost-Pieter | ||
| 990 | _ab0ad5e55ac10000c3970797327fe397c | ||
| 991 | _a61608 | ||
| 999 |
_c43583 _d43583 |
||