José Alberto Verdejo López

• Artículos de revistas (3)
• Colaboraciones en obras colectivas (1)
• Libros (3)
• Tesis (1)
• Tesis dirigidas (3)

• Artículos de revistas

  • Seleccionado

    A la caza del tesoro (CUPCAM 2005, problema G, solución)

    Manuel Freire Morán , José Alberto Verdejo López

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 181, 2006 (Ejemplar dedicado a: Las licencias de Software Libre y su contexto), pág. 75

    • Texto completo
    
  • Seleccionado

    A la caza del tesoro (CUPCAM 2005, problema G, enunciado)

    Manuel Freire Morán , José Alberto Verdejo López

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 180, 2006 (Ejemplar dedicado a: Entornos virtuales), pág. 73

    • Texto completo
    
  • Seleccionado

    Gestión de una participación fija de memoria

    José Alberto Verdejo López

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº 160, 2002, pág. 72

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Implementing CCS in Maude

    Narciso Martí Oliet , José Alberto Verdejo López

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López , 2000, ISBN 84-8427-074-2, págs. 81-96

    

• Libros

  • Seleccionado

    Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios

    Narciso Martí Oliet , Clara M. Segura Díaz , José Alberto Verdejo López

    Ibergarceta, 2012. ISBN 978-84-1545-232-4

    
  • Seleccionado

    Introducción a la computación

    Narciso Martí Oliet , Miguel Palomino Tarjuelo , José Alberto Verdejo López

    Grupo Anaya, 2006. ISBN 84-667-5152-1

    
  • Seleccionado

    Maude como marco semántico ejecutable: CD-ROM

    José Alberto Verdejo López

    Universidad Complutense de Madrid. Servicio de Publicaciones. ISBN 84-669-1853-1

    

• Tesis

  • Seleccionado

    Maude como marco semántico ejecutable

    José Alberto Verdejo López

    Tesis doctoral dirigida por Narciso Martí Oliet (dir. tes.) . Universidad Complutense de Madrid (2003).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

• Tesis dirigidas

  • Seleccionado

    Model checking of strategy-controlled systems in rewriting logic

    Rubén Rubio

    Tesis doctoral dirigida por José Alberto Verdejo López (dir. tes.), Isabel Pita Andreu (dir. tes.) , Narciso Martí Oliet (dir. tes.) . Universidad Complutense de Madrid (2022).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Composición en lógica de reescritura

    Óscar Martín Sánchez

    Tesis doctoral dirigida por Narciso Martí Oliet (dir. tes.) , José Alberto Verdejo López (dir. tes.). Universidad Complutense de Madrid (2021).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Depuración declarativa y verificación heterogénea en Maude

    Adrián Riesco Rodríguez

    Tesis doctoral dirigida por José Alberto Verdejo López (dir. tes.), Narciso Martí Oliet (dir. tes.) . Universidad Complutense de Madrid (2011).

    • Tesis en acceso abierto en: Docta Complutense
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.