Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal methods
Semantics
4
Formal Semantics
2
Web services
2
Abstracting
1
Architecture
1
Automated program verification
1
Automation
1
Behavior analysis
1
Bound variables
1
Building systems
1
Calculations
1
Category theory
1
Classical logic
1
Composition of services
1
Compositional semantics
1
Computational linguistics
1
Computer hardware description languages
1
Computer software reusability
1
Concurrent interactions
1
Eclipse Integrated Development Environment
1
Eclipse plug-in
1
Education
1
Engineers
1
Flattening operator
1
Formal framework
1
Formal languages
1
Formal specification
1
Full abstraction
1
Game theory
1
-
1Materias: “...Formal languages...”
JOUR -
2Materias: “...Formal Semantics...”
JOUR -
3Materias: “...formal methods...”
JOUR -
4Materias: “...Formal Semantics...”
JOUR