TY  - BOOK
AU  - Silva Ramírez,Esther Lydia
AU  - Lopez Coello,Manuel
TI  - Corrección de algoritmos complejos: verificación formal 
T2  - Manuales / Universidad de Cádiz. Ingenierías y arquitectura
SN  - 9788498285642
AV  - QA9.58 S586 2017
U1  - 511.8 23
PY  - 2017///
CY  - Cádiz
PB  - Universidad de Cádiz
KW  - Algorithms
KW  - Algoritmos
KW  - Libros electronicos
UR  - https://elibro.net/ereader/politecnicointernacional/33887
ER  -