Advanced Search
Home | About TDX | Contact
Català | Castellano

All of TDX

By universities & departments By defense date By authors/directors By titles By subjects

This department

By defense date By authors/directors By titles By subjects 

Statistics

By these All TDX

My TDX

Login E-mail Alerts

Other Theses Websites

European Theses International Theses
 Statistics 
TDX Home > Tesis de universidades españolas a través del protocolo OAI-PMH > Universidad Complutense de Madrid > Universidad Complutense de Madrid by author/director

Universidad Complutense de Madrid By authors/directors "Verdejo López, José Alberto"

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Or enter first few letters:

Sort by: Order: Results:

Now showing items 1-2 of 2
 
Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
Riesco Rodríguez, Adrián
Maude como marco semántico ejecutable
Verdejo López, José Alberto
Now showing items 1-2 of 2
 
Accesibility | Legal note | Intranet
 

Coordination

   

Funded