Narciso Martí Oliet

• Colaboraciones en obras colectivas (1)
• Libros (5)
• Tesis (1)
• Tesis dirigidas (6)

• 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

    Estructuras de datos y métodos algorítmicos: 213 ejercicios resueltos

    Narciso Martí Oliet, José Alberto Verdejo López, Yolanda Ortega Mallén

    Ibergarceta, 2013 (2 ed.) . ISBN 978-84-1545-265-2

    
  • 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

    Estructuras de datos y métodos algorítmicos: ejercicios resueltos : versión revisada

    Narciso Martí Oliet, Yolanda Ortega Mallén , José Alberto Verdejo López, David Fayerman Aragón

    Pearson Prentice Hall, 2010. ISBN 978-84-205-3849-5

    
  • Seleccionado

    Especificación, derivación y análisis de algoritmos: ejercicios resueltos

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

    Pearson Prentice Hall, 2006. ISBN 978-84-8322-292-8

    
  • 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

    

• Tesis

  • Seleccionado

    Sobre dos lógicas categóricas: lógica lineal y álgebra con tipos ordenados

    Narciso Martí Oliet

    Tesis doctoral dirigida por José Meseguer Guaita (dir. tes.) . Universidad Complutense de Madrid (1991).

    • 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).

    
  • Seleccionado

    Reflexión, abstracción y simulación en la lógica de reescritura

    Miguel Palomino Tarjuelo

    Tesis doctoral dirigida por José Meseguer Guaita (dir. tes.) , Narciso Martí Oliet (dir. tes.). Universidad Complutense de Madrid (2005).

    • Resumen
    
  • 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
    
  • Seleccionado

    Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura

    Isabel Pita Andreu

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

    • Resumen
    • 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.