Un lenguaje para el diseño y validacion de especificaciones algebraicas.

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)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio