Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
2
Algebra
1
Algebraic specifications
1
Alloy Analyzer
1
Alloy analyzers
1
Alloys
1
Analysis and verifications
1
Automated analysis
1
Calculations
1
Communication device
1
Communication mechanisms
1
Complex networks
1
Component based design
1
Component-based system design
1
Computational linguistics
1
Computer aided software engineering
1
Computer circuits
1
Formal Description
1
Formal definition
1
Formal development
1
Formal specification
1
Formal systems
1
Formalisation
1
Interoperability
1
Interoperating networks
1
NASA
1
Proof calculus
1
Prototype verification systems
1
Reusability
1
Semiautomatic theorem
1
-
1Materias: “...Computer circuits...”
SER -
2Materias: “...Computer aided software engineering...”
SER -
3Materias: “...Computational linguistics...”
SER