Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
1
Algebra
1
Alloy
1
Automatic analysis
1
Automation
1
Calculations
1
Category theory
1
Computational linguistics
1
Computer hardware description languages
1
Computer programming languages
1
Dynamic logic
1
Fork algebras
1
Formal framework
1
Formal languages
1
Formal logic
1
Formal methods
1
Formal specification
1
Heterogeneous specifications
1
Logic design
1
Mathematical formalism
1
Problem solving
1
Relational specifications
1
Semantics
1
Specifications
1
Structured specification
1
Structuring mechanisms
1
System specification
1
System verification
1
System verifications
1
Z Notation
1
-
1Materias: “...Formal languages...”
JOUR -
2Materias: “...Formal logic...”
JOUR