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.
Ciencias Informáticas
2
Educación
2
COQ
1
Computer Uses in Education
1
Computer science education
1
Learning
1
enseñanza de la programación
1
enseñanza de la programación; métodos formales; teoría de tipos; Coq; especificación y verificación de corrección
1
enseñanza superior
1
especificación y verificación de corrección
1
métodos formales
1
sistema de enseñanza
1
teoría de tipos
1
-
1por Luna, Carlos DanielMaterias: “...enseñanza de la programación; métodos formales; teoría de tipos; Coq; especificación y verificación...”
Publicado 2006
Aportado por: SEDICI (UNLP)Articulo -
2por Luna, Carlos DanielMaterias: “...métodos formales...”
Publicado 2006
Aportado por: SEDICI (UNLP)Objeto de conferencia