Verificación formal de algoritmos : ejercicios resueltos /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Silva Ramírez, Esther Lydia
Další autoři: López Coello, Manuel (autor.)
Médium: E-kniha
Jazyk:španělština
Vydáno: Cádiz : Universidad de Cádiz, 2018.
Edice:Universidad de Cádiz. Ingenierías y arquitectura.
Témata:
On-line přístup:Click to View
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!