Corrección de algoritmos complejos : verificación formal - Silva Ramírez, Esther Lydia; Lopez Coello, Manuel (Cádiz : Universidad de Cádiz, 2017)
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; Libros electronicos