eB E-book Silva Ramírez, Esther Lydia | López Coello, Manuel Corrección de algoritmos complejos : verificación formal PDF 2018 - Universidad de Cádiz - Servicio de Publicaciones Opciones de uso Download | Copia/pega | Impresión Download | Copia/pega | Impresión EUR 5,00 IVA excluido
eB E-book Silva Ramírez, Esther Lydia | López Coello, Manuel Verificación formal de algoritmos : ejercicios resueltos PDF 2018 - Universidad de Cádiz - Servicio de Publicaciones Opciones de uso Download | Copia/pega | Impresión Download | Copia/pega | Impresión EUR 5,00 IVA excluido