robot0
05 10 2017, 08:12 AM
https://corporacionwarez.com/wp-content/uploads/2017/10/Diseño-de-Programas.-Formalismo-y-Abstracción-2da-Edición-Ricardo-Peña-Marí.png
15.3 MB | PDF | 339 Páginas| En español | Ricardo Peña Marí
Esta obra está destinada a quienes quieren mejorar sus métodos de programación y aprender a razonar sobre la corrección y la eficiencia de sus programas. En el libro se describen técnicas tales como el diseño y la verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos de datos; se estudian tanto las técnicas como los fundamentos matemáticos de éstas y se dan numerosos ejemplos de ellas.
https://i0.wp.com/i492.photobucket.com/albums/rr286/glass_oniion/Botones/Download01.gif
**Hidden Content: Check the thread to see hidden data.**
15.3 MB | PDF | 339 Páginas| En español | Ricardo Peña Marí
Esta obra está destinada a quienes quieren mejorar sus métodos de programación y aprender a razonar sobre la corrección y la eficiencia de sus programas. En el libro se describen técnicas tales como el diseño y la verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos de datos; se estudian tanto las técnicas como los fundamentos matemáticos de éstas y se dan numerosos ejemplos de ellas.
https://i0.wp.com/i492.photobucket.com/albums/rr286/glass_oniion/Botones/Download01.gif
**Hidden Content: Check the thread to see hidden data.**