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