Verificación formal de algoritmos : ejercicios resueltos /

Guardat en:
Dades bibliogràfiques
Autor principal: Silva Ramírez, Esther Lydia
Altres autors: López Coello, Manuel (autor.)
Format: eBook
Idioma:espanyol
Publicat: Cádiz : Universidad de Cádiz, 2018.
Col·lecció:Universidad de Cádiz. Ingenierías y arquitectura.
Matèries:
Accés en línia:Click to View
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!