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://www.up-4ever.com/vu0j99rzu53x

Social Downloader Tools
Descargas aquellas imágenes, GIF o vídeos que consigues en Whatsapp, Facebook, Instagram o Twitter desde una sola aplicación directo a la galería de tu dispositivo Android.
Totalmente Gratis
Loading...

Deja un comentario