| 000 | 00745cam a2200217 a 4500 | ||
|---|---|---|---|
| 005 | 20160322165154.0 | ||
| 008 | 070911s2008 maua b 001 0 eng | ||
| 020 | _a9780262026499 (hardcover : alk. paper) | ||
| 020 | _a026202649X (hardcover : alk. paper) | ||
| 041 | _aeng | ||
| 082 | 0 | 0 |
_a51 _bBAI |
| 100 | 1 |
_aBaier, Christel. _9458 |
|
| 245 | 1 | 0 |
_aPrinciples of model checking / _cChristel Baier, Joost-Pieter Katoen. |
| 260 |
_aCambridge, Mass. : _bThe MIT Press, _c[2012 |
||
| 300 | _axvii, 975 p. : | ||
| 650 | 0 |
_aComputer systems _xVerification. _9459 |
|
| 650 | 0 |
_aComputer software _xVerification. _9125 |
|
| 700 | 1 |
_aKatoen, Joost-Pieter. _9460 |
|
| 856 | 4 | 1 | _uhttp://www.loc.gov/catdir/toc/ecip0727/2007037603.html |
| 942 | _cBK | ||
| 999 |
_c155511 _d155511 |
||