01524nam a2200373 i 450000100060000000300080000600500170001400600190003100700150005000800410006502000360010603500220014204000310016405000220019508000100021708200140022710000350024124501230027626400460039930000450044533600310049033700330052133800430055449000680059758800680066559001620073365000160089565000160091165500250092770000340095283000700098685600770105699900170113366335FlNmELB20241217142717.0m     o  d |      cr cnu||||||||190415s2017    sp      o     000 0 spa d  a9788498285642q(electronic bk.)  a(OCoLC)1128385314  aFINmELBbspaerdacFINmELB 4aQA9.58bS586 2017  a510.50 a511.82231 aSilva Ramírez, Esther Lydia.10aCorrección de algoritmos complejos :bverificación formal /cEsther Lydia Silva Ramírez y Manuel López Coello. 1aCádiz :bUniversidad de Cádiz,c2017.  a1 recurso en línea (IX, 214 páginas)  atextobtxt2rdacontent/spa  acomputadorabc2rdamedia/spa  arecurso en líneabcr2rdacarrier/spa1 aManuales / Universidad de Cádiz. Ingenierías y arquitectura  aDescripción basada en el editor de metadatos y otras fuentes.  aRecurso electrónico. Santa Fe, Arg.: elibro, 2019. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a elibro. 0aAlgorithms. 4aAlgoritmos. 4aLibros electronicos.1 aLopez Coello, Manuel,eautor. 0aUniversidad de Cádiz.tManuales.pIngenierías y arquitectura.40uhttps://elibro.net/ereader/politecnicointernacional/33887zClick to View  c66335d66335