Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
Computer software
2
Formal methods
2
Atomic actions
1
Behaviour validation
1
Case studies
1
Communication
1
Computer software reusability
1
Concise representations
1
Design
1
Dynamic logics
1
Final states
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
Programming tasks
1
SAT solvers
1
Software engineering
1
Source codes
1
Specifications
1
enabledness-preserving abstractions
1
-
1Materias: “...Formal methods...”
SER -
2Materias: “...Formal methods...”
SER