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
20
SOFTWARE ENGINEERING
16
métodos formales
11
Métodos formales
10
COMPUTACIÓN
8
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
-
1por Bazán, EzequielMaterias: “...Métodos Formales...”
Publicado 2013
bachelorThesis tesis de grado publishedVersion -
2Publicado 1996Materias: “...Métodos formales...”
Aportado por: Bibliotecas (UNCuyo)Acta de conferencia Libro -
3Publicado 1998Materias: “...Métodos formales...”
Aportado por: Sistema de Bibliotecas de la UNICENActa de conferencia Libro -
4por Dobal, Pablo FedericoMaterias: “...Métodos formales...”
Publicado 2013
bachelorThesis tesis de grado publishedVersion -
5Publicado 1984Materias: “...Métodos formales...”
Aportado por: Sistema de Bibliotecas de la UNICENLibro -
6por Haeberer, A. MMaterias: “...Métodos formales...”
Publicado 1988
Aportado por: Sistema de Bibliotecas de la UNICENLibro -
7Publicado 1999Materias: “...Métodos formales...”
Aportado por: Sistema de Bibliotecas de la UNICENLibro -
8Publicado 1993Materias: “...Métodos formales...”
Aportado por: Sistema de Bibliotecas de la UNICENLibro -
9por Heitmeyer, ConstanceMaterias: “...Métodos formales...”
Publicado 1996
Aportado por: Sistema de Bibliotecas de la UNICENLibro -
10por Harry, AndrewMaterias: “...Métodos formales...”
Publicado 1996
Aportado por: Sistema de Bibliotecas de la UNICENLibro -
11
-
12por Díaz, Javier RobertoMaterias: “...métodos formales...”
Publicado 2001
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
13
-
14
-
15
-
16por Kilmurray, Cecilia NoeliaMaterias: “...Métodos formales...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
17por Frausto Solís, JuanMaterias: “... METODOS FORMALES LOGICA DE HOARE...”
Publicado 2000
Aportado por: Biblioteca Universitaria H. Wast (UFASTA)Libro -
18por Kilmurray, Cecilia NoeliaMaterias: “...Métodos formales...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
19
-
20por Zandarin, Nicolás HugoMaterias: “...Métodos formales...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis