Browse by Director

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Thesis

Antonio Jiménez, Angélica de (1994). Una interpretación algebraica de la verificación de sistemas basados en el conocimiento. Thesis (Doctoral), Facultad de Informática (UPM).

Pérez Pérez, Aurora (1991). Una interpretación lógico-algebraica de la semántica de la programación. Thesis (Doctoral), Facultad de Informática (UPM).

Final Project

Chicharro García, Rafael (2009). Implementación de métodos de verificación de programas. Proyecto Fin de Carrera / Trabajo Fin de Grado, Facultad de Informática (UPM).

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM