Universidad Politecnica de Madrid
Login | Create Account
Search
Navegation
User Area
About Archivo Digital UPM
Dulcinea
Sherpa Romeo
Recolecta

Browse by Contributors, PFC

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

Final Project

Chicharro García, Rafael (2009) Implementación de métodos de verificación de programas. Proyecto Fin de Carrera,Computer Faculty (UPM).

Thesis

Pérez Pérez, Aurora (1991) Una interpretación lógico-algebraica de la semántica de la programación. Tesis(Doctoral), Computer Faculty (UPM).

Antonio Jiménez, Angélica de (1994) Una interpretación algebraica de la verificación de sistemas basados en el conocimiento. Tesis(Doctoral), Computer Faculty (UPM).

This list was generated on Thu May 24 15:56:04 2012 CEST.

Archivo Digital UPM soporta OAI2.0 con una URL base de http://oa.upm.es/cgi/oai2

eprints
Archivo Digital UPM is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.