000 | 00813aam a2200253 a 4500 | ||
---|---|---|---|
001 | 12371 | ||
003 | CoBo-ECI | ||
005 | 20230124080918.0 | ||
007 | ta | ||
008 | 150723b xxu||||| |||| 00| 0 eng d | ||
020 | _a0387984178 | ||
082 | 0 |
_a005.14 _bB124r |
|
100 | 4 | 0 |
_aBack, Ralph-Johan _916032 |
245 | 0 |
_aRefinement calculus: _ba systematic Introduction/ _cRalph-Johan Back and Joakim von Wright |
|
260 | 4 |
_aNew York: _bSpringer _c1998 |
|
300 | 4 | _a519 p. | |
490 | _aGraduate Texts in Computer Science | ||
504 | 4 | _aIncluye bibliografía e índice p. 501 | |
650 |
_969 _aCALCULO |
||
650 |
_92217 _aPROGRAMACIÓN (COMPUTADORES ELECTRÓNICOS) _xPROGRAMACION |
||
700 | 1 |
_aWright, Joakim von _916034 |
|
942 |
_2ddc _cBK |
||
999 |
_c11058 _d11058 |