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