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