TY  - GEN
T1  - Verificación formal de algoritmos : ejercicios resueltos
T2  - Universidad de Cádiz. Ingenierías y arquitectura.
A1  - Silva Ramírez, Esther Lydia.
A2  - López Coello, Manuel,
LA  - Spanish
PP  - Cádiz
PB  - Universidad de Cádiz
YR  - 2018
UL  - https://colectivo.uloyola.es/Record/ELB33886
OP  - 240
CN  - QA9.58 S586 2018
SN  - 9788498285628
KW  - Algorithms.
KW  - Algoritmos : Problemas y ejercicios.
KW  - Libros electronicos.
ER  -