Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
Computer software
2
Specifications
2
Abstracting
1
Algebra
1
Algebraic properties
1
Alloy languages
1
Atomic actions
1
Atomic transition
1
Autopilot systems
1
Case studies
1
Cerium alloys
1
Component based systems
1
Computer software reusability
1
Coordination language
1
Dynamic logic
1
Dynamic logics
1
Example based
1
Final states
1
Formal methods
1
Intermediate states
1
JAVA programs
1
Java programming language
1
Linguistics
1
Model checking
1
Operational languages
1
Operational units
1
P/T net
1
Partial correctnesses
1
Petri nets
1
-
1Materias: “...Coordination language...”
SER -
2Materias: “...Operational languages...”
SER -
3Materias: “...Java programming language...”
SER