| 000 | 00639nam a22001817a 4500 | ||
|---|---|---|---|
| 005 | 20130829120613.0 | ||
| 008 | 101103t xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9783540774259 | ||
| 080 |
_a004.416.2 _bESP |
||
| 100 |
_aEsparza, Javier _913657 |
||
| 245 |
_aUnfolding _ba partial-order approach to model checking _cJavier Esparza and Keijo Heljanko |
||
| 260 |
_aBerlin _bSpringer _c2008 |
||
| 300 | _axii,169p. | ||
| 490 | _aMonographs in theoretical computer science, An EATCS series | ||
| 653 |
_aComputer software-Testing _aComputer systems-Varification _aComputer science |
||
| 700 |
_aHeljanko, Keijo _913656 |
||
| 942 | _cBK | ||
| 999 |
_c68394 _d68393 |
||