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

פריטים דומים