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