Verificación formal de algoritmos : ejercicios resueltos /

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Silva Ramírez, Esther Lydia
Beste egile batzuk: López Coello, Manuel (autor.)
Formatua: eBook
Hizkuntza:gaztelania
Argitaratua: Cádiz : Universidad de Cádiz, 2018.
Saila:Universidad de Cádiz. Ingenierías y arquitectura.
Gaiak:
Sarrera elektronikoa:Click to View
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!