Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal verification
Atomic broadcast
2
Big data
2
Ciencias Informáticas
2
Distributed algorithms
2
Distributed computing models
2
Distributed protocols
2
Modelos computacionales
2
Paxos
2
Protocolos distribuídos
2
Teoría de la computación
2
Theory of computation
2
Parallel model checkers
1
Parallel programming
1
-
1
-
2por Naser Pastoriza, Alejandro José
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
3
-
4por Naser Pastoriza, Alejandro José
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion