| 000 | 00666 a a2200217 04500 | ||
|---|---|---|---|
| 001 | 11168 | ||
| 003 | CoBo-ECI | ||
| 005 | 20221118120101.0 | ||
| 008 | 150731b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a1852332476 | ||
| 082 | 0 |
_a005.131 _bM654u |
|
| 100 | 4 | 0 |
_920130 _aMonin, Jean, François |
| 245 | 0 |
_aUnderstanding formal methods/ _cJean-François Monin |
|
| 260 | 4 |
_aLondon: _bSpringer _c2003 |
|
| 300 | 4 | _a275 p. | |
| 504 | 4 | _aIncluye bibliografía e índice p. 255 | |
| 650 |
_95298 _aLOGICA MATEMATICA |
||
| 650 |
_95299 _aLOGICA SIMBOLICA |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c10193 _d10193 |
||