Libros (4) Publicaciones en las que ha participado algún/a investigador/a

2010

  1. Corrección de algoritmos complejos: verificación formal

    Servicio de Publicaciones

  2. Introducción a la programación

    Servicio de Publicaciones

  3. Recursos digitales para la educación y la cultura: volumen SPDECE

    Mérida, Yucatán : Universidad Tecnológica Metropolitana ; [Cádiz] : Universidad de Cádiz, 2010

  4. Verificación formal de algoritmos: ejercicios resueltos

    Servicio de Publicaciones