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

Universidad Autónoma de Madrid

Master

En Madrid

Precio a consultar

Más información

912669065

¿Necesitas un coach de formación?

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

900 49 49 40

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

Los mejores cursos de Ingeniería informática

Ver todos

Ver todos

Descripción

  • Tipología

    Master

  • Lugar

    Madrid

  • Inicio

    Octubre

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

OctubreMatrícula abierta

Preguntas & Respuestas

Añade tu pregunta

Nuestros asesores y otros usuarios podrán responderte

¿Quién quieres que te responda?

Déjanos tus datos para recibir respuesta

Sólo publicaremos tu nombre y pregunta

Opiniones

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 16 años en Emagister.

Materias

  • Algoritmos
  • Desarrollo del software

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

A otros usuarios les interesó esto...

Más información

912669065

¿Necesitas un coach de formación?

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

900 49 49 40

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

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

Precio a consultar

Los mejores cursos de Ingeniería informática

Ver todos

Ver todos