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

• Autores: Jordi Levy Díaz
• Directores de la Tesis: Jaume Agustí i Cullell (dir. tes.)
• Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 1994
• Idioma: inglés
• Tribunal Calificador de la Tesis: Fernando Orejas Valdés (presid.), Robert Nicuwenhuis (secret.), Peter Mosses (voc.), Francesc Esteva i Massaguer (voc.), Mario Rodríguez Artalejo (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
      • Logicales de ordenadores
• Texto completo no disponible (Saber más ...)