Verificación formal de algoritmos : ejercicios resueltos /

Silva Ramírez, Esther Lydia.

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

9788498285628


Algorithms.
Algoritmos--Problemas y ejercicios.


Libros electronicos.

QA9.58 / S586 2018

511.8

510.5(076.3)