Mostrando 1 - 4 Resultados de 4 Para Buscar 'López Coello, Manuel', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Corrección de algoritmos complejos : verificación formal
    por Silva Ramírez, Esther Lydia
    Publicado 2010
    Otros Autores:
    Biblioteca de la Universidad Pontificia de Salamanca (Otras Fuentes: Biblioteca Universidad de Deusto)
    Libro
  2. 2
    Verificación formal de algoritmos : ejercicios resueltos
    por Silva Ramírez, Esther Lydia
    Publicado 2010
    Otros Autores:
    Biblioteca de la Universidad Pontificia de Salamanca (Otras Fuentes: Biblioteca Universidad de Deusto)
    Libro
  3. 3
    Corrección de algoritmos complejos : verificación formal
    por Silva Ramírez, Esther Lydia
    Publicado 2017
    Otros Autores:
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Universidad Loyola - Universidad Loyola Granada, Biblioteca de la Universidad Pontificia de Salamanca)
    Libro electrónico
  4. 4
    Verificación formal de algoritmos : ejercicios resueltos
    por Silva Ramírez, Esther Lydia
    Publicado 2018
    Otros Autores:
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Universidad Loyola - Universidad Loyola Granada, Biblioteca de la Universidad Pontificia de Salamanca)
    Libro electrónico

Herramientas de búsqueda: