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

Detalles Bibliográficos
Autor principal: Silva Ramírez, Esther Lydia.
Otros autores: Lopez Coello, Manuel,
Formato: eBook
Idioma:Spanish
Fecha de publicación: Cádiz : Universidad de Cádiz, 2017.
Series:Universidad de Cádiz. Ingenierías y arquitectura.
Materias:
Acceso en línea:Click to View