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