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

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Silva Ramírez, Esther Lydia
Other Authors: Lopez Coello, Manuel (autor.)
Format: eBook
Language:Español
Published: Cádiz : Universidad de Cádiz, 2017.
Series:Universidad de Cádiz. Ingenierías y arquitectura.
Subjects:
Algorithms.
Algoritmos.
Libros electronicos.
Online Access:Texto completo

Internet

Texto completo

Error inesperado del formato de respuesta.
Holdings details from

Similar Items