Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
AUDITED COMPUTATIONS
3
BYTECODE
3
COMPUTACIONES AUDITADAS
3
CURRY-HOWARD ISOMORPHISM
3
DECLASSIFICATION
3
DESCLASIFICACION
3
FLUJO DE INFORMACION
3
INFORMATION FLOW
3
ISOMORFISMO DE CURRY-HOWARD
3
JUSTIFICATION LOGIC
LOGICA DE JUSTIFICACION
3
NO INTERFERENCIA
3
NONINTERFERENCE
3
ROBUSTES
3
ROBUSTNESS
3
-
1
-
2
-
3