Ir al contenido principal

Biblioguía del Master Interuniversitario en Métodos Formales en Ingeniería Informática (UCM/UAM/UPM)

Biblioguía del Master Interuniversitario en Métodos Formales en Ingeniería Informática (UCM/UAM/UPM)

E-Reserves: 609025 - ANÁLISIS ESTÁTICO DE PROGRAMAS Y RESOLUCIÓN DE RESTRICCIONES / MÁSTER INTERUNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA / Curso 2024-2025

Gómez Martínez, Mª Elena