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...
2001-3000 €
Universitat Politècnica de Catalunya. |
Máster en Barcelona
El master's degree in Pure and Applied Logic (máster universitario en Lógica Pura y Aplicada), coordinado por la Universitat de Barcelona (UB) y con la participación de la UPC, proporciona una sólida base en el ámbito de la lógica avanzada, pura y aplicada...
Precio a consultar
Xtart FP |
Carrera universitaria en Madrid
La transformación digital está redefiniendo las industrias, que demandan profesionales capaces de comprender las nuevas tecnologías y aplicarlas estratégicamente en los negocios.
El Doble Grado en Ingeniería matemática + Ingeniería informática de UAX...
Precio a consultar
Universidad Complutense de Madrid |
Carrera universitaria en Pozuelo de Alarcon (Madrid)
La Ingeniería del Software es una disciplina que se ocupa de proporcionar un marco adecuado para la gestión de los proyectos software, y para el diseño de aplicaciones empresariales con una arquitectura software que favorezca su mantenimiento y evolución...
Precio a consultar
Universidad Complutense de Madrid |
Carrera universitaria en Pozuelo de Alarcon (Madrid)
La Matemática es la ciencia básica por antonomasia cuyo conocimiento se transmite de generación en generación. Un matemático es una persona con un gran pensamiento crítico, con capacidad de abstracción y de razonamiento lógico. Debe ser capaz de enfrentarse...
Precio a consultar
Universidad de Murcia |
Carrera universitaria en Murcia
Objetivos: FB1: Capacidad para la resolución de los problemas matemáticos que puedan plantearse en la ingeniería. Aptitud para aplicar los conocimientos sobre: álgebra lineal; cálculo diferencial e integral; métodos numéricos; algorítmica numérica; estadística...
Precio a consultar