![]() |
![]() |
|
|
|
![]() ![]() |
![]() ![]() |
Grado en Ingeniería Informática (Optativa de 4. curso)
Erasmus Mundus Master in Language and Communication Technologies (LCT) / Máster Universitario Erasmus Mundus en Tecnologías del Lenguaje y la Comunicación (LCT)
Máster Universitario en Análisis y Procesamiento del Lenguaje/Hizkuntzaren Azterketa eta Prozesamendua
Grado en Ingeniería Informática (Obligatoria de 1er curso
![]() |
- Logic for Computer Science
- Specification, Transformation and Verification of Programs
- Declarative Programming Languages
- Equality Constraint Solving
- Graph Transformation
- Automated Reasoning
- Temporal Logic
- Formal Methods in Software Engineering
![]() |
![]() |
![]() |