Books (4) Publications in which a researcher has participated View referenced research data.

in the year 2010 Remove filter
filter_list Type (aggr.) Books from 2010 to 2010

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