Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Concurrent programming
Automatic programming
1
Ciencias Informáticas
1
Compilación
1
Correspondence assertions
1
Deduction and theorem proving
1
Language constructs and features
1
Monitor
1
Optimización
1
Performance
1
Pi-calculus
1
Probador de teoremas
1
Programación concurrente
1
Región crítica condicional
1
SMT solver
1
Semáforo binario dividido
1
Session types
1
Señal
1
Software
1
Type systems
1
-
1
-
2por Barsotti, Damián
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis