Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
DISTRIBUTED SYSTEMS
4
SISTEMAS DISTRIBUIDOS
4
ALLOY
2
ANALISIS AUTOMATICO DE SOFTWARE
2
AUTOMATED SOFTWARE ANALYSIS
2
BOUNDED EXHAUSTIVE VERIFICATION
2
CONSISTENCIA EVENTUAL
2
EJECUCION SIMBOLICA
2
EVENTUAL CONSISTENCY
2
GLOBAL SEQUENCE PROTOCOL
2
INGENIERIA DE SOFTWARE
2
JAVA
2
JAVA (LENGUAJE DE PROGRAMACION)
2
JML
2
OCAML
2
RELIABLE TOTAL ORDER BROADCAST
2
REPLICATED SYSTEMS
2
SISTEMAS REPLICADOS
2
SOFTWARE ENGINEERING
2
SYMBOLIC EXECUTION
2
TACO
2
VERIFICACION EXHAUSTIVA ACOTADA
2
-
1
-
2por Len, Uriel NicolásMaterias: “...SISTEMAS DISTRIBUIDOS...”
Publicado 2020
Tesis de grado publishedVersion -
3por Rosner, Nicolás LeandroMaterias: “...SISTEMAS DISTRIBUIDOS...”
Publicado 2015
Tesis doctoral publishedVersion -
4