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 Permissions Download | Copy/paste | Printing Download | Copy/paste | Printing EUR 5.00 VAT Excluded
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 Permissions Download | Copy/paste | Printing Download | Copy/paste | Printing EUR 5.00 VAT Excluded