| 000 | 00734nab a2200229 a 4500 | ||
|---|---|---|---|
| 003 | AR-ReUNN | ||
| 005 | 20260702000927.0 | ||
| 008 | 260701s2019 ag |||||||||||||||||spa | ||
| 100 | 1 |
_aDiller, Martín _995629 |
|
| 245 | 1 | 0 | _aHacia un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación |
| 264 | 1 | _c2019 | |
| 300 | _a32 páginas | ||
| 650 | 4 |
_aMetodologia de la Ciencia _921486 |
|
| 650 | 4 |
_aCiencia de la Computacion _995630 |
|
| 650 | 4 |
_aProgramas de Computacion _99929 |
|
| 650 | 4 |
_aOntologia _910055 |
|
| 650 | 4 |
_aEpistemologia _95606 |
|
| 650 | 4 |
_aVerificabilidad _986430 |
|
| 942 | _cART | ||
| 035 | _a(FIL)202222 | ||
| 001 | 173568 | ||
| 999 |
_c173568 _d173568 |
||
| 040 |
_aAR-ReUNN _bspa _cAR-ReUNN _eaacr2 |
||