El debate acerca de la verificación formal de los programas

Mostrar todas las versiones(2)

En este trabajo nos concentramos en un análisis de los argrunentos presentados en (Fetzer:l988). Luego de la apasionada discusión que siguió a este articulo, Fetzer mantuvo sus opiniones, por ejemplo en el trabajo (Fetzer:l991). Si bien han aparecido criticas de los argrunentos de Fetzer- (por ej...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Blanco, Javier, García, Pío
Formato: conferenceObject
Lenguaje:Español
Publicado: Penélope Lodeyro 2016
Materias:
Epistemología
Historia de la ciencia
Acceso en línea:http://hdl.handle.net/11086/3429
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares