Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
28
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
20
SOFTWARE ENGINEERING
16
métodos formales
11
Métodos formales
10
Formal methods
8
Métodos Formales
7
Software
6
FORMAL METHODS
5
METODOS FORMALES
5
base de datos
5
Model checking
4
RAISE
4
RSL
4
CHOREOGRAPHIES
3
COREOGRAFIAS
3
FORMAL SEMANTICS
3
Frameworks
3
Ingeniería de Software
3
ORCHESTRATION
3
ORQUESTACION
3
SEMANTICA FORMAL
3
SOA
3
SOC
3
Theory of computation
3
Tolerancia a fallas
3
ALGEBRAIC SPECIFICATIONS
2
Antropología
2
Arqueología
2
COQ
2
ESPECIFICACION ALGEBRAICA
2
-
1por Bazán, EzequielMaterias: “...Métodos Formales...”
Publicado 2013
bachelorThesis tesis de grado publishedVersion -
2por Dobal, Pablo FedericoMaterias: “...Métodos formales...”
Publicado 2013
bachelorThesis tesis de grado publishedVersion -
3
-
4por Díaz, Javier RobertoMaterias: “...métodos formales...”
Publicado 2001
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
5
-
6
-
7
-
8por Kilmurray, Cecilia NoeliaMaterias: “...Métodos formales...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
9por Kilmurray, Cecilia NoeliaMaterias: “...Métodos formales...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
10
-
11por Zandarin, Nicolás HugoMaterias: “...Métodos formales...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
12por Vissani, IgnacioMaterias: “...METODOS FORMALES...”
Publicado 2018
Tesis doctoral publishedVersion -
13por Vissani, IgnacioMaterias: “...METODOS FORMALES...”
Publicado 2018
Tesis doctoral publishedVersion -
14
-
15por 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 -
16
-
17
-
18por Favre, Liliana MaríaMaterias: “...métodos formales...”
Publicado 1995
Aportado por: SEDICI (UNLP)Objeto de conferencia -
19
-
20