Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ALLOY
1
ANALISIS AUTOMATICO DE SOFTWARE
1
AUTOMATED SOFTWARE ANALYSIS
1
BOUNDED EXHAUSTIVE VERIFICATION
1
DISTRIBUTED SYSTEMS
1
EJECUCION SIMBOLICA
1
INGENIERIA DE SOFTWARE
1
JAVA
1
JAVA (LENGUAJE DE PROGRAMACION)
1
JML
1
SISTEMAS DISTRIBUIDOS
1
SOFTWARE ENGINEERING
SYMBOLIC EXECUTION
1
TACO
1
VERIFICACION EXHAUSTIVA ACOTADA
1
-
1por Rosner, Nicolás LeandroMaterias: “...INGENIERIA DE SOFTWARE...”
Publicado 2015
Tesis doctoral publishedVersion