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.
COQ
CORRECTITUD DE IMPLEMENTACIONES
3
REPLICACION
3
SIMULACION
3
TIPOS DE DATOS REPLICADOS
3
Ciencias Informáticas
1
Computer Uses in Education
1
Computer science education
1
DNS
1
DNSSEC
1
Educación
1
Learning
1
Métodos Formales
1
enseñanza de la programación
1
especificación y verificación de corrección
1
métodos formales
1
teoría de tipos
1
-
1
-
2
-
3
-
4
-
5