Verificación formal de algoritmos : ejercicios resueltos /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Silva Ramírez, Esther Lydia
Drugi avtorji: López Coello, Manuel (autor.)
Format: eKnjiga
Jezik:španščina
Izdano: Cádiz : Universidad de Cádiz, 2018.
Serija:Universidad de Cádiz. Ingenierías y arquitectura.
Teme:
Online dostop:Click to View
Oznake: Označite
Brez oznak, prvi označite!