Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ABSTRACT MACHINES
1
ALLOY
1
ANALISIS AUTOMATICO DE SOFTWARE
1
AUTOMATED SOFTWARE ANALYSIS
1
BOUNDED EXHAUSTIVE VERIFICATION
1
CALCULO-λ
1
DISTRIBUTED SYSTEMS
1
EJECUCION SIMBOLICA
1
ESTRATEGIAS DE EVALUACION
1
EVALUACION LAZY
1
EVALUATION STRATEGIES
1
EXPLICIT SUBSTITUTIONS
1
INGENIERIA DE SOFTWARE
1
JAVA
1
JAVA (LENGUAJE DE PROGRAMACION)
1
JML
1
LAZY EVALUATION
1
MAQUINAS ABSTRACTAS
1
PROGRAMMING LANGUAGE SEMANTICS
1
RESIDUAL THEORY
1
SEMANTICA DE LENGUAJES DE PROGRAMACION
1
SISTEMA DE TIPOS
1
SISTEMAS DISTRIBUIDOS
1
SOFTWARE ENGINEERING
1
SUSTITUCIONES EXPLICITAS
1
SYMBOLIC EXECUTION
1
TACO
1
TEORIA DE RESIDUOS
1
TYPE SYSTEMS
1
VERIFICACION EXHAUSTIVA ACOTADA
1
-
1por Barenbaum, PabloMaterias: “...SEMANTICA DE LENGUAJES DE PROGRAMACION...”
Publicado 2020
Tesis doctoral publishedVersion -
2por Rosner, Nicolás LeandroMaterias: “...JAVA (LENGUAJE DE PROGRAMACION)...”
Publicado 2015
Tesis doctoral publishedVersion