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.
Ciencias Informáticas
4
Formal methods
2
SOFTWARE ENGINEERING
2
Análisis asintótico amortizado
1
Languages
1
Probabilistic computation
1
Software/Program Verification
1
computer verification
1
ingeniería del software
1
lenguajes funcionales perezosos
1
linear satisfiability checking
1
lógicas para la programación
1
métodos formales
1
probabilistic programs
1
refinement checking
1
servicios semánticos en la web
1
trace generation
1
verificación asistida por computadora
1
-
1
-
2
-
3
-
4