Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
4
Automation
Computer programming languages
Dynamic logic
4
Formal logic
4
Abstracting
2
Algebra
2
Automatic analysis
2
Computational complexity
2
Computer hardware description languages
2
DynAlloy
2
Dynamic programming
2
Fork algebras
2
Logic design
2
Problem solving
2
Relational specifications
2
Semantics
2
Software engineering
2
Software specification
2
Software specifications
2
Software validation
2
Standards
2
Syntactics
2
-
1
-
2
-
3
-
4