| 000 | 00632nam a22002297a 4500 | ||
|---|---|---|---|
| 005 | 20220402142916.0 | ||
| 008 | 220402b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9783030132330 | ||
| 041 | _aeng | ||
| 082 | _a004.21 C55h vol. 1 | ||
| 100 | _aClarke, Edmund M. | ||
| 245 | _aHandbook of model checking volume 1 | ||
| 260 |
_aSwitzerland _bSpringer _c2018 |
||
| 300 | _axxiv, 611p. | ||
| 650 |
_aComputer systems _xVerification |
||
| 650 | _aLogic, Symbolic and mathematical | ||
| 650 | _aSoftware engineering | ||
| 700 | _aHenzinger, Thomas A. | ||
| 700 | _aVeith, Helmut | ||
| 700 | _aBloem, Roderick | ||
| 942 | _cREF | ||
| 999 |
_c23157 _d23157 |
||