Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Cerium alloys
Computer software
6
Alloy languages
4
Atomic transition
4
Autopilot systems
4
Dynamic logic
4
Example based
4
Linguistics
4
Operational languages
4
Requirements specifications
4
SAT-solving
4
Software engineering
4
Specifications
4
Tabular expressions
4
Tabular notation
4
Tabular specifications
4
Test harness
4
Alloy
2
Alloying
2
Code analysis
2
Data handling
2
Data structures
2
DynAlloy
2
Java programming language
2
KodKod
2
Linked data structures
2
Model checking
2
Program translators
2
Propositional formulas
2
Propositional variables
2
-
1
-
2Materias: “...Computer software...”
Artículo publishedVersion -
3Materias: “...Computer software...”
Artículo publishedVersion -
4Materias: “...Computer software...”
SER -
5por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Computer software...”
Publicado 2013
-
6Materias: “...Computer software...”
JOUR