Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer circuits
Specification languages
Algebra
2
Algebraic specifications
2
Design notations
2
Formal Description
2
Formal definition
2
Formal development
2
Formal logic
2
Formal specification
2
Formal systems
2
Inverse operators
2
Inverse problems
2
Method of modeling
2
Modal models
2
Model checking
2
Model checking algorithm
2
NASA
2
Property specification language
2
Prototype tools
2
Prototype verification systems
2
Reusability
2
Software system designs
2
Specifications
2
Theorem proving
2
Universal algebra
2
-
1
-
2
-
3
-
4