Silva Ramírez, Esther Lydia | López Coello, Manuel Corrección de algoritmos complejos : verificación formal 2018 - Universidad de Cádiz - Servicio de Publicaciones
Silva Ramírez, Esther Lydia | López Coello, Manuel Corrección de algoritmos complejos : verificación formal 2018 - Universidad de Cádiz - Servicio de Publicaciones 390 p. Informations ISBN: 9788498285642 Permalink: https://digital.casalini.it/9788498285642 DISCIPLINES Mathématiques Mathematics