Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Memoria dinámica
Análisis estático
2
Arboles binarios
2
Artificial Intelligence
2
Ingeniería de Software
2
Inteligencia artificial
2
Logics and meanings of programs
2
Lógica y significado de programas
2
Memory leak
2
Program reasoning
2
Program verification
2
Separation logic
2
Shape analysis
2
Software Engineering
2
Teoría de la computación
2
Theory of Computation
2
Verificación
2
-
1por Cherini, Renato
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Rearte, Lucas Agustín
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Rearte, Lucas Agustín
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Cherini, Renato
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis