Hacia 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

Diller, Martín

Hacia 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 - 32 páginas


Metodologia de la Ciencia
Ciencia de la Computacion
Programas de Computacion
Ontologia
Epistemologia
Verificabilidad