Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
3
Automation
2
Computer programming languages
2
DynAlloy
2
Dynamic logic
2
Formal logic
2
Abstracting
1
Algebra
1
Alloy Analyzer
1
Alloy analyzers
1
Alloys
1
Analysis and verifications
1
Automated analysis
1
Automated techniques
1
Automatic analysis
1
Calculations
1
Code analysis
1
Complex networks
1
Computational complexity
1
Computer aided software engineering
1
Computer hardware description languages
1
Computer software selection and evaluation
1
Data structures
1
Dynamic programming
1
Execution trace
1
Fork algebras
1
Interoperability
1
Interoperating networks
1
Java programming language
1
KodKod
1
-
1Materias: “...Automation...”
-
2Materias: “...Automated analysis...”
-
3Materias: “...Automation...”
-
4por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Automated techniques...”
Publicado 2010