Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
1
Automation
1
Computational complexity
Computer hardware description languages
1
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: “...Dynamic logic...”
CONF