Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
3
Computer programming languages
Automation
2
Dynamic logic
2
Formal logic
2
Abstracting
1
Algebra
1
Alloying
1
Automated test generation
1
Automated test generations
1
Automatic analysis
1
Bounded exhaustive testing
1
Computational complexity
1
Computer hardware description languages
1
Computer systems programming
1
DynAlloy
1
Dynamic programming
1
Fork algebras
1
Korat
1
Logic design
1
Object oriented programming
1
Problem solving
1
Relational specifications
1
SAT solving
1
SAT-solving
1
Semantics
1
Software engineering
1
Software specification
1
Software specifications
1
Software testing
1
-
1Materias: “...Computer programming languages...”
CONF -
2Materias: “...Computer programming languages...”
JOUR -
3Materias: “...Computer programming languages...”
CONF