Browse by Director
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Thesis | Final Project
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).
