Saila
Ingeniería Informática
Liburuak (4) Ikertzaileren baten partaidetza izan duten argitalpenak
2010
-
Corrección de algoritmos complejos: verificación formal
Servicio de Publicaciones
-
Introducción a la programación
Servicio de Publicaciones
-
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
-
Verificación formal de algoritmos: ejercicios resueltos
Servicio de Publicaciones