Universidad Politécnica de Valencia |
Máster en Valencia
Objetivos: Estudio de teorías y lenguajes para la especificación, síntesis y verificación de sistemas de software.
Estudio de técnicas y herramientas para el análisis, la certificación, la documentación automática y la depuración de programas.
Estudio...