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:Spanish
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!