Máster Universitario en Métodos Formales en Ingeniería Informática

Master

En Madrid

Precio a consultar

Más información

¿Necesitas un coach de formación?

Te ayudará a comparar y elegir el mejor curso para ti, y podrás financiar tu matrícula en cómodos plazos.

900 64 94 94

Llamada gratuita. Lunes a viernes de 9h a 20h.

Descripción

  • Tipología

    Master

  • Lugar

    Madrid

El desarrollo de software se enfrenta actualmente a grandes desafíos derivados de su omnipresencia en la sociedad. Dependemos de programas que controlan dispositivos, vehículos, transacciones bancarias, aparatos médicos, y muchas de nuestras actividades cotidianas.

Instalaciones y fechas

Ubicación

Inicio

Madrid
Ver mapa
C/ Ivan Paulov 6, 28049

Inicio

Consultar

Preguntas & Respuestas

Plantea tus dudas y otros usuarios podrán responderte

¿Quién quieres que te responda?

Sólo publicaremos tu nombre y pregunta

Logros de este Centro

2019

Todos los cursos están actualizados

La valoración media es superior a 3,7

Más de 50 opiniones en los últimos 12 meses

Este centro lleva 13 años en Emagister.

Temario

Teoría de lenguajes de programaciónAnálisis estático de programas y resolución de restriccionesModelos de la concurrenciaMétodos formales de testingDesarrollo formal de software dirigido por modelosDiseño de algoritmos bioinspiradosAprendizaje automáticoVerificación asistida de programasAnálisis de sistemas concurrentes y distribuidosDiseño de sistemas correctos por construcciónComputación cuánticaPrácticas en empresas o grupos de investigaciónTrabajo fin de MásterTeoría de lenguajes de programaciónAnálisis estático de programas y resolución de restriccionesModelos de la concurrenciaMétodos formales de testingDesarrollo formal de software dirigido por modelosDiseño de algoritmos bioinspiradosAprendizaje automáticoVerificación asistida de programasAnálisis de sistemas concurrentes y distribuidosDiseño de sistemas correctos por construcciónComputación cuánticaPrácticas en empresas o grupos de investigaciónTrabajo fin de Máster

Más información

¿Necesitas un coach de formación?

Te ayudará a comparar y elegir el mejor curso para ti, y podrás financiar tu matrícula en cómodos plazos.

900 64 94 94

Llamada gratuita. Lunes a viernes de 9h a 20h.

Máster Universitario en Métodos Formales en Ingeniería Informática

Precio a consultar