Verificación formal de algoritmos : ejercicios resueltos /

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Silva Ramírez, Esther Lydia
Eará dahkkit: López Coello, Manuel (autor.)
Materiálatiipa: E-girji
Giella:espánnjágiella
Almmustuhtton: Cádiz : Universidad de Cádiz, 2018.
Ráidu:Universidad de Cádiz. Ingenierías y arquitectura.
Fáttát:
Liŋkkat:Click to View
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!
Čálihuva vuohččan sisa