Verificación formal de algoritmos : ejercicios resueltos /

Verificación formal de algoritmos : ejercicios resueltos /

Guardado en:
Detalles Bibliográficos
Autor principal: Silva Ramírez, Esther Lydia.
Otros Autores: López Coello, Manuel (autor.)
Formato: Libro electrónico
Lenguaje:Español
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

Ejemplares similares

Ejemplares similares