Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
AUDITED COMPUTATIONS
1
BYTECODE
1
COMPUTACIONES AUDITADAS
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
1
NO INTERFERENCIA
1
NONINTERFERENCE
ROBUSTES
1
ROBUSTNESS
1
-
1por Bavera, Francisco PedroMaterias: “...AUDITED COMPUTATIONS...”
Publicado 2012
Tesis doctoral publishedVersion