Verificación formal de algoritmos : ejercicios resueltos /

में बचाया:
ग्रंथसूची विवरण
मुख्य लेखक: Silva Ramírez, Esther Lydia
अन्य लेखक: López Coello, Manuel (autor.)
स्वरूप: ई-पुस्तक
भाषा:स्पेनिश
प्रकाशित: Cádiz : Universidad de Cádiz, 2018.
श्रृंखला:Universidad de Cádiz. Ingenierías y arquitectura.
विषय:
ऑनलाइन पहुंच:Click to View
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
विवरण
भौतिक वर्णन:1 recurso en línea (240 páginas)
आईएसबीएन:9788498285628