Rubén Rubio

• Colaboraciones en obras colectivas (1)
• Tesis (1)

• Colaboraciones en obras colectivas

  • LearnSQL: un juez para el aprendizaje de las bases de datos

    Jesús Correas Fernández, Enrique Martín Martín, Manuel Montenegro Montes, Adrián Riesco Rodríguez, Rubén Rubio

    Jornada «Aprendizaje Eficaz con TIC en la UCM» / coord. por David Carabantes Alarcón, Rosa de la Fuente Fernández, Ana Fernández-Pampillón Cesteros, Jorge Jesús Gómez Sanz, Juan Antonio Infante del Río, José Antonio López Orozco, Manuel Joaquín Salamanca López; Luis Hernández Yáñez (dir.), 2022, ISBN 978-84-669-3754-2, págs. 277-288

    • Texto Completo Libro
    

• Tesis

  • 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
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.