Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial intelligence
1
Calculations
1
Communication failure
1
Compact representation
1
Computational linguistics
1
Distributed computer systems
1
Execution history
1
Formal analysis
1
Formal methods
1
Formal model
1
Operational model
1
Process instances
1
Replicated data
1
Sequence protocols
1
Service instances
1
Strong consistency
1
Type systems
1
-
1
-
2Materias: “...Formal methods...”
SER