01533nam a2200373 i 4500 66393 FlNmELB 20241217142720.0 m o d | cr cnu|||||||| 190415s2018 sp o 000 0 spa d 9788498285628 (electronic bk.) (OCoLC)1128380101 FINmELB spa rda FINmELB QA9.58 S586 2018 510.5(076.3) 511.8 23 Silva Ramírez, Esther Lydia. Verificación formal de algoritmos : ejercicios resueltos / Esther Lydia Silva Ramírez, Manuel López Coello. Cádiz : Universidad de Cádiz, 2018. 1 recurso en línea (240 páginas) texto txt rdacontent/spa computadora c rdamedia/spa recurso en línea cr rdacarrier/spa Manuales / Universidad de Cádiz. Ingenierías y arquitectura 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. Algorithms. Algoritmos Problemas y ejercicios. Libros electronicos. López Coello, Manuel, autor. Universidad de Cádiz. Manuales. Ingenierías y arquitectura. https://elibro.net/ereader/politecnicointernacional/33886 Click to View 66393 66393