Verificación formal de algoritmos : ejercicios resueltos /

ग्रंथसूची विवरण
मुख्य लेखक: Silva Ramírez, Esther Lydia
अन्य लेखक: López Coello, Manuel (autor.)
स्वरूप: Libros Digitales
भाषा:स्पेनिश
प्रकाशित: Cádiz : Universidad de Cádiz, 2018.
श्रृंखला:Universidad de Cádiz. Ingenierías y arquitectura.
विषय:
ऑनलाइन पहुंच:Click to View