Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
AUDITED COMPUTATIONS
3
BYTECODE
3
COMPUTACIONES AUDITADAS
CURRY-HOWARD ISOMORPHISM
3
DECLASSIFICATION
3
DESCLASIFICACION
3
FLUJO DE INFORMACION
3
INFORMATION FLOW
3
ISOMORFISMO DE CURRY-HOWARD
3
JUSTIFICATION LOGIC
3
LOGICA DE JUSTIFICACION
3
NO INTERFERENCIA
3
NONINTERFERENCE
ROBUSTES
3
ROBUSTNESS
3
-
1por Bavera, Francisco PedroMaterias: “...AUDITED COMPUTATIONS...”
Publicado 2012
Tesis doctoral publishedVersion -
2por Bavera, Francisco PedroMaterias: “...AUDITED COMPUTATIONS...”
Publicado 2012
Tesis doctoral publishedVersion -
3