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.
Ciencias Informáticas
3
Código Móvil Seguro
2
Languages
2
Análisis Estático
1
Certificación de Código
1
Compilador Certificante
1
Compiladores Certificantes
1
Código Móvil
1
Códigos
1
Lenguajes de programación
1
Optimization
1
Parallel programming
1
SOFTWARE ENGINEERING
1
Teoría de Tipos
1
Verificación de Código
1
análisis estático
1
base de datos
1
certificación de código
1
compiladores certificantes
1
verificación de código
1
-
1por Aguirre, Jorge, Baum, Gabriel Alfredo, Arroyo, Marcelo, Bavera, Francisco, Medel, Ricardo, Nordio, Martín, Kilmurray, Cecilia, Mussolini, JohannaMaterias: “...compiladores certificantes...”
Publicado 2005
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel AlfredoMaterias: “...Compiladores Certificantes...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel AlfredoMaterias: “...Compilador Certificante...”
Publicado 2003
Aportado por: SEDICI (UNLP)Objeto de conferencia