Verificación formal de algoritmos : ejercicios resueltos

Verificación formal de algoritmos ejercicios resueltos

Detalles Bibliográficos
Autor principal: Silva Ramírez, Esther Lydia (-)
Otros Autores: López Coello, Manuel, autor (autor)
Formato: Libro electrónico
Idioma:Castellano
Publicado: Cádiz : Universidad de Cádiz 2018.
Colección:Universidad de Cádiz. Ingenierías y arquitectura.
Materias:
Algorithms.
Algoritmos > Problemas y ejercicios.
Libros electronicos.
Acceso en línea:Click to View
Ver en Universidad Loyola - Universidad Loyola Granada:https://colectivo.uloyola.es/Record/ELB33886
Solicitar por préstamo interbibliotecario: Correo
Descripción
Descripción Física:1 recurso en línea (240 páginas)
ISBN:9788498285628

Ejemplares similares