| 000 | 00783 a a2200241 04500 | ||
|---|---|---|---|
| 001 | 11194 | ||
| 003 | CoBo-ECI | ||
| 005 | 20221121094003.0 | ||
| 008 | 150731b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0262032708 | ||
| 082 | 0 |
_a004.21 _bC517m |
|
| 100 | 4 | 0 |
_aClarke, Edmund M. _920065 |
| 245 | 0 |
_aModel Checking/ _cEdmund M. Clarke, Orna Grumberg and Doron A. Peled |
|
| 260 | 4 |
_aCambridge: _bThe MIT Press _c1999 |
|
| 300 | 4 | _a314 p. | |
| 504 | 4 | _aIncluye bibliografía e índice p. 297 | |
| 650 |
_93397 _aANÁLISIS DE SISTEMAS |
||
| 650 |
_95082 _aDISEÑO DE SISTEMAS |
||
| 650 |
_97115 _aSISTEMAS DE COMUNICACIÓN |
||
| 700 | 4 | 0 |
_aGrumberg, Orna _aPeled, Doron A. _920068 |
| 942 |
_2ddc _cBK |
||
| 999 |
_c10217 _d10217 |
||