TY  - GEN
T1  - Corrección de algoritmos complejos : verificación formal
T2  - Universidad de Cádiz. Ingenierías y arquitectura.
A1  - Silva Ramírez, Esther Lydia.
A2  - Lopez Coello, Manuel,
LA  - Spanish
PP  - Cádiz
PB  - Universidad de Cádiz
YR  - 2017
UL  - https://colectivo.uloyola.es/Record/ELB33887
OP  - 214
CN  - QA9.58 S586 2017
SN  - 9788498285642
KW  - Algorithms.
KW  - Algoritmos.
KW  - Libros electronicos.
ER  -