Corrección de algoritmos complejos : verificación formal /

Guardado en:
Detalles Bibliográficos
Autor principal: Silva Ramírez, Esther Lydia.
Otros Autores: Lopez Coello, Manuel (autor.)
Formato: Libro electrónico
Lenguaje:Español
Publicado: Cádiz : Universidad de Cádiz, 2017.
Colección:Universidad de Cádiz. Ingenierías y arquitectura.
Materias:
Acceso en línea:Click to View

Ejemplares similares