TY  - BOOK
AU  - Silva Ramírez,Esther Lidia
AU  - López Coello,Manuel
TI  - Verificación formal de algoritmos: ejercicios resueltos
T2  - Manuales de ingenieria y arquitectura
SN  - 9788498282641
AV  - QA9.58 S535
PY  - 2010///
CY  - Cadiz
PB  - Universidad de Cadiz, Servicio de Publicaciones
KW  - Algoritmos
KW  - Problemas, ejercicios, etc
ER  -