Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computational linguistics
Specifications
System specification
Calculations
2
Category theory
2
Communication device
2
Communication mechanisms
2
Component based design
2
Component-based system design
2
Computer hardware description languages
2
Formal framework
2
Formal languages
2
Formal methods
2
Formal specification
2
Formalisation
2
Heterogeneous specifications
2
Mathematical formalism
2
Semantics
2
Software engineering
2
Structured specification
2
Structuring mechanisms
2
System verification
2
System verifications
2
Z Notation
2
Z notation
2
-
1
-
2
-
3
-
4