TY  - BOOK
AU  - Silva Ramírez,Esther Lydia
AU  - López Coello,Manuel
TI  - Verificación formal de algoritmos: ejercicios resueltos 
T2  - Manuales / Universidad de Cádiz. Ingenierías y arquitectura
SN  - 9788498285628
AV  - QA9.58 S586 2018
U1  - 511.8 23
PY  - 2018///
CY  - Cádiz
PB  - Universidad de Cádiz
KW  - Algorithms
KW  - Algoritmos
KW  - Problemas y ejercicios
KW  - Libros electronicos
UR  - https://elibro.net/ereader/politecnicointernacional/33886
ER  -