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