Universidad Complutense de Madrid Máster Oficial en Métodos Formales en Ingeniería Informática La creación del software se enfrenta actualmente a grandes desafíos derivados del papel omnipresente del mismo en la sociedad actual: dependemos de programas que controlan dispositivos, vehículos, transacciones bancarias, el mercado de valores, aparatos médicos, etc. Aparte de los casos de pérdida de vidas humanas por fallos en el software, estos c... Madrid Consultar 90 ECTS Consultar
