Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
2
Automation
2
Computational complexity
2
Computer hardware description languages
2
Computer programming languages
DynAlloy
Dynamic logic
2
Dynamic programming
2
Formal logic
2
Semantics
2
Software engineering
2
Software specification
2
Software specifications
2
Software validation
2
Standards
2
Syntactics
2
-
1
-
2