Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
3
Computational complexity
2
Computer software
2
Data flow analysis
2
Empirical evaluations
2
Formal methods
2
Java programming language
2
Program translators
2
Propositional variables
2
SAT solvers
2
Software engineering
2
Abstracting
1
Alloy
1
Atomic actions
1
Automation
1
Boolean functions
1
Bounded program verifications
1
Bounded verifications
1
Case studies
1
Computer hardware description languages
1
Computer programming languages
1
Computer software reusability
1
Dataflow analysis
1
DynAlloy
1
Dynamic logic
1
Dynamic logics
1
Dynamic programming
1
Final states
1
Intermediate states
1
JAVA programs
1
-
1Materias: “...Dynamic logic...”
CONF -
2Materias: “...Dynamic logics...”
SER -
3Materias: “...Logical representations...”
SER -
4Materias: “...Formal logic...”
JOUR