Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
INGENIERIA DE SOFTWARE
4
SOFTWARE ENGINEERING
4
ALGEBRAIC SPECIFICATIONS
2
ALLOY
2
ANALISIS AUTOMATICO DE SOFTWARE
2
AUTOMATED SOFTWARE ANALYSIS
2
BOUNDED EXHAUSTIVE VERIFICATION
2
DISTRIBUTED SYSTEMS
2
EJECUCION SIMBOLICA
2
ESPECIFICACION ALGEBRAICA
2
ESPECIFICACION HETEROGENEA
2
FORMAL METHODS
2
HETEROGENEOUS SPECIFICATIONS
2
INSTITUCIONES
2
INSTITUTIONS
2
JAVA
2
JAVA (LENGUAJE DE PROGRAMACION)
2
JML
2
METODOS FORMALES
2
SISTEMAS DISTRIBUIDOS
2
SYMBOLIC EXECUTION
2
TACO
2
VERIFICACION EXHAUSTIVA ACOTADA
2
-
1por Martinez Suñé, Agustín EloyMaterias: “...INGENIERIA DE SOFTWARE...”
Publicado 2017
Tesis de Grado -
2por Martinez Suñé, Agustín EloyMaterias: “...INGENIERIA DE SOFTWARE...”
Publicado 2017
Tesis de grado publishedVersion -
3por Rosner, Nicolás LeandroMaterias: “...INGENIERIA DE SOFTWARE...”
Publicado 2015
Tesis doctoral publishedVersion -
4