Silva Ramírez, Esther Lydia | López Coello, Manuel Verificación formal de algoritmos : ejercicios resueltos 2018 - Universidad de Cádiz - Servicio de Publicaciones
Silva Ramírez, Esther Lydia | López Coello, Manuel Verificación formal de algoritmos : ejercicios resueltos 2018 - Universidad de Cádiz - Servicio de Publicaciones 240 p. Information ISBN: 9788498285628 Permalink: https://digital.casalini.it/9788498285628 DISCIPLINES Mathematics Mathematics