Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstract framework
1
Abstract model theory
1
Algebra
1
Calculations
1
Categorical structure
1
Component based
1
Component based systems
1
Computing paradigm
1
Dynamic environments
1
Dynamic models
1
Dynamic re-configuration
1
Essential characteristic
1
Formal foundation
1
Formal logic
1
Formalisation
1
Generic specifications
1
Object orientation
1
Proof calculus
1
Proof system
1
Proof theory
1
Runtimes
1
Satisfiability
1
Semantics
1
Software systems
1
Specification languages
1
Specifications
1
Temporal logic
1
-
1Materias: “...Formal logic...”
SER -
2Materias: “...Temporal logic...”
SER