Catálogo de publicaciones - tesis
Título de Acceso Abierto
Construcción de programas que manejan dinámicamente la memoria
Renato Cherini Javier Oscar Blanco
acceptedVersion.
Resumen/Descripción – provisto por el repositorio digital
Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.Palabras clave – provistas por el repositorio digital
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
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | 2015 | Repositorio Digital Universitario (SNRD) |
|
Información
Tipo de recurso:
tesis
Idiomas de la publicación
- español castellano
País de edición
Argentina
Fecha de publicación
2015-08-06
