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.
Antropología
2
Arqueología
2
formal methods
2
imágenes rupestres
2
landscape marking
2
marcación del paisaje
2
multiple spatial scales
2
métodos formales
2
múltiples escalas espaciales
2
rock art images
2
sistematización
2
systematization
2
Ciencias Informáticas
1
Educació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
sistema de enseñanza
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 -
2
-
3por Romero Villanueva, GuadalupeMaterias: “...métodos formales...”
Publicado 2021
Aportado por: SEDICI (UNLP)Articulo