El debate acerca de la verificación formal de los programas
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...
Guardado en:
Autores principales: | Blanco, Javier, García, Pío |
---|---|
Formato: | conferenceObject |
Lenguaje: | Español |
Publicado: |
Penélope Lodeyro
2016
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/3429 |
Aporte de: |
Ejemplares similares
-
Debates acerca del problema del significado de los términos en la ciencia
por: Gonzalo, Adriana
Publicado: (2016) -
Las limitaciones de los criterios formales de relevancia
por: Oller, Carlos A.
Publicado: (2016) -
El sistema de Poole: un estudio formal
por: Lerner, Silivia B.
Publicado: (2016) -
Simple formal Ianguages and the structure of spacetime
por: Moreschi, Osvaldo M.
Publicado: (2016) -
Expresión de propiedades en un lenguaje formal
por: Martín, Gabriela
Publicado: (2016)