Département: Lenguajes y Sistemas Informáticos

Centre: Facultad de Informática

Campus: Gipuzkoa

Domaine de connaissance: Ingenieria y Arquitectura

Domaine: Lenguajes y Sistemas Informáticos

Docteur/e à l Universidad del País Vasco - Euskal Herriko Unibertsitatea avec la thèse Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993. Dirigée par Dr/a. Ricardo Peña Marí.