InstitucionesÁrea de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
Isabel Pita Andreu
Adrián Riesco Rodríguez
Rubén Rubio
Yolanda Ortega Mallén
Óscar Martín Sánchez
David Fayerman Aragón
José Alberto Verdejo López
José Alberto Verdejo López
Miguel Palomino Tarjuelo
Clara M. Segura Díaz
|
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
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
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
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
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
Narciso Martí Oliet, Miguel Palomino Tarjuelo , José Alberto Verdejo López
Grupo Anaya, 2006. ISBN 84-667-5152-1
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).
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).
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).
Depuración declarativa y verificación heterogénea en Maude
Tesis doctoral dirigida por José Alberto Verdejo López (dir. tes.) , Narciso Martí Oliet (dir. tes.). Universidad Complutense de Madrid (2011).
Reflexión, abstracción y simulación en la lógica de reescritura
Tesis doctoral dirigida por José Meseguer Guaita (dir. tes.) , Narciso Martí Oliet (dir. tes.). Universidad Complutense de Madrid (2005).
Maude como marco semántico ejecutable
Tesis doctoral dirigida por Narciso Martí Oliet (dir. tes.). Universidad Complutense de Madrid (2003).
Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura
Tesis doctoral dirigida por Narciso Martí Oliet (dir. tes.). Universidad Complutense de Madrid (2003).
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.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados