Construcción de programas que manejan dinámicamente la memoria

Mostrar todas las versiones(2)

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.

Guardado en:

Detalles Bibliográficos
Autor principal:	Cherini, Renato
Otros Autores:	Blanco, Javier Oscar, dir.
Formato:	doctoralThesis
Lenguaje:	Español
Publicado:	2016
Materias:	Ingeniería de Software Lógica y significado de programas Inteligencia artificial Software Engineering Logics and meanings of programs Artificial Intelligence Verificación Memoria dinámica Análisis estático
Acceso en línea:	http://hdl.handle.net/11086/2879
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.