Verificación formal de algoritmos : ejercicios resueltos /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Silva Ramírez, Esther Lydia
Otros Autores: López Coello, Manuel (autor.)
Formato: eBook
Idioma:Español
Publicado: Cádiz : Universidad de Cádiz, 2018.
Colección:Universidad de Cádiz. Ingenierías y arquitectura.
Temas:
Algorithms.
Algoritmos > Problemas y ejercicios.
Libros electronicos.
Acceso en línea:Texto completo

Ejemplares similares

Ejemplares similares