Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
21
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
20
SOFTWARE ENGINEERING
14
métodos formales
10
Formal methods
6
Métodos Formales
6
base de datos
5
RAISE
4
RSL
4
Software
4
Frameworks
3
Ingeniería de Software
3
Métodos formales
3
Educación
2
Framework
2
GIS
2
Infraestructura
2
Servicios Web
2
Sistemas de Información Geográfica
2
arquitectura orientada a servicios
2
computación orientada a servicios
2
framework
2
infraestructura
2
programación orientada a servicios
2
servicios web
2
Algebras Fork
1
Antropología
1
Arqueología
1
COMPUTER GRAPHICS
1
COQ
1
Computer Uses in Education
1
-
1
-
2por Díaz, Javier RobertoMaterias: “...métodos formales...”
Publicado 2001
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
3
-
4
-
5
-
6
-
7por Córdoba, Laura, Tardivo, María Laura, Bavera, Francisco, Arroyo, Marcelo, Aguirre, JorgeMaterias: “...Métodos Formales...”
Publicado 2007
Aportado por: SEDICI (UNLP)Objeto de conferencia -
8
-
9
-
10por Favre, Liliana MaríaMaterias: “...métodos formales...”
Publicado 1995
Aportado por: SEDICI (UNLP)Objeto de conferencia -
11
-
12
-
13por Felice, LauraMaterias: “...métodos formales...”
Publicado 2013
Aportado por: SEDICI (UNLP)Tesis Tesis de maestria -
14
-
15por Gonzalía, Carlos JoséMaterias: “...métodos formales...”
Publicado 2010
Aportado por: SEDICI (UNLP)Objeto de conferencia -
16por 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 -
17por Romero Villanueva, GuadalupeMaterias: “...métodos formales...”
Publicado 2021
Aportado por: SEDICI (UNLP)Articulo -
18
-
19por Montejano, Germán Antonio, Testa, Oscar, Garcia, Pablo, Bast, Silvia Gabriela, Berón, MarioMaterias: “...métodos formales...”
Publicado 2011
Aportado por: SEDICI (UNLP)Objeto de conferencia -
20por Luna, Carlos DanielMaterias: “...métodos formales...”
Publicado 2006
Aportado por: SEDICI (UNLP)Objeto de conferencia