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