Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy Analyzer
2
Alloy analyzers
2
Alloys
Analysis and verifications
2
Automated analysis
2
Calculations
2
Complex networks
2
Computer aided software engineering
Interoperability
2
Interoperating networks
2
Proof calculus
2
Semiautomatic theorem
2
Software prototyping
2
Specifications
2
Theorem provers
2
Verification
2
-
1Materias: “...Computer aided software engineering...”
-
2Materias: “...Computer aided software engineering...”
SER