Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algebra
6
Fork algebras
6
Formal logic
6
ALGEBRAS DE FORK
2
Abstracting
2
Alloy
2
Artificial intelligence
2
Automatic analysis
2
Automation
2
Computational complexity
2
Computational logics
2
Computer programming languages
2
Computer science
2
Computer software
2
Dynamic logic
2
ESPECIFICACIONES HETEROGENEAS
2
FORK ALGEBRA
2
HETEROGENEOUS SPECIFICATIONS
2
INSTITUCIONES
2
INSTITUTIONS
2
Interpretability
2
Logic design
2
METODOS RELACIONALES EN CIENCIAS DE LA COMPUTACION
2
Mathematical programming
2
Monomodal logics
2
Problem solving
2
RELATIONAL METHODS IN COMPUTER SCIENCE
2
Relational specifications
2
Software engineering
2
Software verification
2
-
1Publicado 2006Materias: “...Fork algebras...”
-
2
-
3Materias: “...Fork algebras...”
-
4Materias: “...Fork algebras...”
JOUR -
5Materias: “...Fork algebras...”
-
6
-
7por López Pombo, Carlos GustavoMaterias: “...FORK ALGEBRA...”
Publicado 2007
Tesis doctoral publishedVersion -
8