Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal methods
3
Computational complexity
2
Formal logic
2
Program translators
2
SAT solvers
2
Software engineering
2
Verification
2
Abstracting
1
Algebra
1
Alloy analyzers
1
Alloys
1
Artificial intelligence
1
Atomic actions
1
Bounded program verifications
1
Case studies
1
Computational logics
1
Computer science
1
Computer software
1
Computer software reusability
1
Data flow analysis
1
Dynamic logics
1
Empirical evaluations
1
Feature extraction
1
Final states
1
Fork algebras
1
Intermediate states
1
JAVA programs
1
Java programming language
1
Lightweight formal methods
1
Logical representations
1
-
1Materias: “...Lightweight formal methods...”
SER -
2Materias: “...Formal logic...”
SER -
3
-
4Materias: “...Formal methods...”
SER