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

Silva Ramírez, Esther Lydia.

Corrección de algoritmos complejos : verificación formal / Esther Lydia Silva Ramírez y Manuel López Coello. - 1 recurso en línea (IX, 214 páginas) - Manuales / Universidad de Cádiz. Ingenierías y arquitectura . - Universidad de Cádiz. Ingenierías y arquitectura. Manuales. .

9788498285642


Algorithms.
Algoritmos.


Libros electronicos.

QA9.58 / S586 2017

511.8

510.5