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