Tesis doctoral de Ines Clerici Silvia
Datos académicos de la tesis doctoral «Un lenguaje para el diseño y validacion de especificaciones algebraicas.«
- Título de la tesis: Un lenguaje para el diseño y validacion de especificaciones algebraicas.
- Autor: Ines Clerici Silvia
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/01/1989
Dirección y tribunal
- Director de la tesis
- Tribunal
- Presidente del tribunal: Fernando Orejas Valdés
- Luisa Navarro Gomez (vocal)
- Mario Rodríguez Artalejo (vocal)
- Angel Alvarez Rodriguez (vocal)