Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Software engineering
2
Specifications
2
Abstract notions
1
Abstracting
1
Alloy languages
1
Atomic actions
1
Atomic transition
1
Autopilot systems
1
Case studies
1
Category theory
1
Cerium alloys
1
Computer software reusability
1
Dynamic logic
1
Dynamic logics
1
Example based
1
Final states
1
Formal foundation
1
Formal methods
1
Formalisation
1
Intermediate states
1
JAVA programs
1
Java programming language
1
Linguistics
1
Logical system
1
Model checking
1
Operational languages
1
Operational units
1
Partial correctnesses
1
Predicate abstractions
1
-
1Materias: “...Dynamic logic...”
SER -
2Materias: “...Logical system...”
SER -
3Materias: “...Dynamic logics...”
SER