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
Alloy languages
1
Alloys
1
Analysis and verifications
1
Atomic transition
1
Automated analysis
1
Autopilot systems
1
Calculations
1
Cerium alloys
1
Complex networks
1
Computer aided software engineering
1
Computer circuits
1
Computer software
1
Dynamic logic
1
Example based
1
Formal Description
1
Formal definition
1
Formal development
1
Formal specification
1
Formal systems
1
Interoperability
1
Interoperating networks
1
Linguistics
1
NASA
1
Operational languages
1
Proof calculus
1
-
1Materias: “...Computer circuits...”
SER -
2Materias: “...Computer aided software engineering...”
SER -
3Materias: “...Computer software...”
SER