Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
2
Atomic actions
2
Case studies
2
Computer software
Computer software reusability
2
Dynamic logics
2
Final states
2
Formal methods
2
Intermediate states
2
JAVA programs
Java programming language
2
Model checking
2
Operational units
2
Partial correctnesses
2
Predicate abstractions
2
Program translators
SAT solvers
2
Software engineering
2
Specifications
2
-
1
-
2