Verificación formal de algoritmos : ejercicios resueltos /

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Silva Ramírez, Esther Lydia
Övriga upphovsmän: López Coello, Manuel (autor.)
Materialtyp: E-bok
Språk:spanska
Publicerad: Cádiz : Universidad de Cádiz, 2018.
Serie:Universidad de Cádiz. Ingenierías y arquitectura.
Ämnen:
Länkar:Click to View
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!