Corrección de algoritmos complejos : verificación formal /

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Silva Ramírez, Esther Lydia
Eará dahkkit: Lopez Coello, Manuel (autor.)
Materiálatiipa: E-girji
Giella:espánnjágiella
Almmustuhtton: Cádiz : Universidad de Cádiz, 2017.
Ráidu:Universidad de Cádiz. Ingenierías y arquitectura.
Fáttát:
Liŋkkat:Click to View
Čájet áššehaslávttas
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!