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