Verificación formal de algoritmos : ejercicios resueltos - Silva Ramírez, Esther Lydia; López Coello, Manuel (Cádiz : Universidad de Cádiz, 2018)
Descripción basada en el editor de metadatos y otras fuentes.
Recurso electrónico. Santa Fe, Arg.: elibro, 2019. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a elibro.
Keywords: Algorithms; Algoritmos -- Problemas y ejercicios; Libros electronicos