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