The calculus of refinements: a formal specification model based on inclusions

Tesis doctoral de Jordi Levy Diaz

 

Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification model based on inclusions«

  • Título de la tesis:  The calculus of refinements: a formal specification model based on inclusions
  • Autor:  Jordi Levy Diaz
  • Universidad:  Politécnica de catalunya
  • Fecha de lectura de la tesis:  03/05/1994

 

Dirección y tribunal

  • Director de la tesis
    • Jaume Agustí Cullell
  • Tribunal
    • Presidente del tribunal: fernando Orejas valdés
    • mario Rodríguez artalejo (vocal)
    • francesc Esteva messeguer (vocal)
    • peter Mosses (vocal)

 

Deja un comentario

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

Scroll al inicio