Hacía 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

Martin DillerMartin Diller

Download

Martin Diller
Hacía 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
In Las prácticas científicas: aportes para un enfoque epistemológico, 31-62. Editorial Brujas, 2011

Details
Bibtex

Forschungsgruppe:Research Group: Computational LogicComputational Logic

@incollection{D2011,
  author    = {Martin Diller},
  title     = {Hac{\'{\i}}a un marco ontol{\'{o}}gico y epistemol{\'{o}}gico
               para una metodolog{\'{\i}}a de la verificaci{\'{o}}n de los
               programas computacionales en ciencia de la computaci{\'{o}}n},
  booktitle = {Las pr{\'{a}}cticas cient{\'{\i}}ficas: aportes para un enfoque
               epistemol{\'{o}}gico},
  publisher = {Editorial Brujas},
  year      = {2011},
  pages     = {31-62}
}