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
  En: Las prácticas científicas : aportes para un enfoque epistemológico / García, Pío. -- Córdoba : Brujas, 2011
  ISBN: 9789875912731

  1. METODOLOGIA DE LA CIENCIA; 2. CIENCIA DE LA COMPUTACION; 3. PROGRAMAS DE COMPUTACION; 4. ONTOLOGIA; 5. EPISTEMOLOGIA; 6. VERIFICABILIDAD

  (42) Inv.: 12-003110 S.T.: 167 GAR p ej.1

1 Ejemplar

U. Info.	Inventario	S.T. / Ubicación
HUMFILO	12-003110	167 GAR p ej.1