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.
Métodos formales
Ciencias Informáticas
3
Formal methods
3
Model checking
3
SOFTWARE ENGINEERING
3
Theory of computation
3
Tolerancia a fallas
3
Estados esenciales
2
Explosión del espacio de estados
2
Framework
2
GIS
2
Infraestructura
2
Lógicas deónticas
2
MTBDD
2
PRISM
2
RAISE
2
RSL
2
Servicios Web
2
Sistemas de Información Geográfica
2
Software
2
Verificación de software
2
Verification by model checking
2
Algebras Fork
1
Cálculo Lambda
1
Deontic logic
1
Especificaciones (Formales)
1
Fault tolerance
1
Functional programming
1
Ingeniería de software
1
Invariantes
1
-
1por Dobal, Pablo FedericoMaterias: “...Métodos formales...”
Publicado 2013
bachelorThesis tesis de grado publishedVersion -
2
-
3por Kilmurray, Cecilia NoeliaMaterias: “...Métodos formales...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4por Kilmurray, Cecilia NoeliaMaterias: “...Métodos formales...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
5por Zandarin, Nicolás HugoMaterias: “...Métodos formales...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6
-
7por Zandarin, Nicolás H.Materias: “...Métodos formales...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8
-
9por Acosta, Araceli NataliaMaterias: “...Métodos formales...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
10Materias: “...Métodos formales...”
Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Proyecto de investigación info:eu-repo/semantics/other publishedVersion