Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
4
Specifications
4
Structured specification
Algebra
2
Biomineralization
2
Category theory
2
Complete system
2
Computational linguistics
2
Computer hardware description languages
2
Formal framework
2
Formal languages
2
Formal methods
2
Formal specification
2
Heterogeneous specifications
2
Logical language
2
Mathematical formalism
2
Partial views
2
Semantics
2
Structuring mechanisms
2
System specification
2
System verification
2
System verifications
2
Transitive closure
2
Z Notation
2
Z notation
2
-
1
-
2
-
3
-
4