Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
4
ALGEBRAS DE FORK
3
ESPECIFICACIONES HETEROGENEAS
3
FORK ALGEBRA
3
Formalisation
3
HETEROGENEOUS SPECIFICATIONS
3
INSTITUCIONES
3
INSTITUTIONS
3
METODOS RELACIONALES EN CIENCIAS DE LA COMPUTACION
3
RELATIONAL METHODS IN COMPUTER SCIENCE
3
Algebra
2
Alloy
2
Automation
2
Calculations
2
Computer programming languages
2
Dynamic logic
2
Formal logic
2
Semantics
2
Software engineering
2
Syntactics
2
Abstract notions
1
Abstracting
1
Alloy Analyzer
1
Alloy analyzers
1
Alloys
1
Analysis and verifications
1
Automated analysis
1
Automatic analysis
1
Biomineralization
1
Category theory
1
-
1Materias: “...Structured specification...”
-
2
-
3
-
4Materias: “...Software specification...”
-
5Materias: “...Relational specifications...”
-
6Materias: “...Specifications...”
-
7por López Pombo, Carlos GustavoMaterias: “...HETEROGENEOUS SPECIFICATIONS...”
Publicado 2007
Tesis doctoral publishedVersion -
8por López Pombo, Carlos GustavoMaterias: “...HETEROGENEOUS SPECIFICATIONS...”
Publicado 2007
Tesis doctoral publishedVersion -
9por López Pombo, Carlos GustavoMaterias: “...HETEROGENEOUS SPECIFICATIONS...”
Publicado 2007
Tesis Doctoral -
10