Corrección de algoritmos complejos : verificación formal

Corrección de algoritmos complejos verificación formal

Detalles Bibliográficos
Autor principal: Silva Ramírez, Esther Lydia (-)
Otros Autores: Lopez Coello, Manuel, autor (autor)
Formato: Libro electrónico
Idioma:Castellano
Publicado: Cádiz : Universidad de Cádiz 2017.
Colección:Universidad de Cádiz. Ingenierías y arquitectura.
Materias:
Algorithms.
Algoritmos.
Libros electronicos.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009421891206719
Descripción
Descripción Física:1 online resource (IX, 214 páginas)
ISBN:9788498285642

Ejemplares similares