Verificación formal de algoritmos : ejercicios resueltos /

Bibliográfalaš dieđut
Váldodahkki: Silva Ramírez, Esther Lydia
Eará dahkkit: López Coello, Manuel (autor.)
Materiálatiipa: Libros Digitales
Giella:espánnjágiella
Almmustuhtton: Cádiz : Universidad de Cádiz, 2018.
Ráidu:Universidad de Cádiz. Ingenierías y arquitectura.
Fáttát:
Liŋkkat:Click to View