Repositorios 4

Ciencias Informáticas 4 Educación 2 educación 2 informática 2 COQ 1 Computer Uses in Education 1 Computer science education 1 Coq 1 Enseñanza de la Programación 1 Learning 1 Programación Funcional 1 Programación Imperativa 1 Real time 1 Sistemas Reactivos y de Tiempo Real 1 Teoría de Tipos 1 enseñanza 1 enseñanza de la Programación 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 nociones lógico-matemáticas 1 propuesta de integración 1 sistema de enseñanza 1 tecnología 1 teoría de tipos 1