Temas: "Ciencias Informáticas" |
Repositorio: "Unversidad Nacional de La Plata" |
Fecha:"12t12" |
Temas: "Análisis Estático" |
Temas: "Certificación de Código" |
Temas: "Verificación de Código" |
Compiladores Certificantes | (1) |
Código Móvil Seguro | (1) |
Optimization | (1) |
SOFTWARE ENGINEERING | (1) |
base de datos | (1) |
Más... |
1.
|
Optimización del prototipo del entorno de ejecución de PCC-SA Bavera, Francisco - Nordio, Martín - Medel, Ricardo - Aguirre, Jorge - Baum, Gabriel Alfredo
|