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
4
Languages
Compilador Certificante
1
Código Móvil
1
Código Móvil Seguro
1
Código Móvil Seguro (CMS)
1
Códigos
1
Lenguajes de programación
1
Parallel programming
1
Proof Carrying Code (PCC)
1
SOFTWARE ENGINEERING
1
Teoría de Tipos
1
Theory of Computation
1
análisis estático
1
certificación de código
1
compiladores certificantes
1
código
1
código móvil seguro
1
herramientas
1
lenguajes
1
procesadores de lenguajes
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: “...Código Móvil Seguro...”
Publicado 2005
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2por Arroyo, Marcelo, Florio, Nicolás, Felippa, J., Aguirre, Jorge, Gómez, Gabriela, Bavera, Francisco, Caymes Scutari, Paola, Nordio, D.Materias: “...código...”
Publicado 2002
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Bavera, Francisco, Nordio, Martín, Aguirre, Jorge, Arroyo, Marcelo, Baum, Gabriel Alfredo, Medel, RicardoMaterias: “...código móvil seguro...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia -
4por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel AlfredoMaterias: “...Código Móvil...”
Publicado 2003
Aportado por: SEDICI (UNLP)Objeto de conferencia