Diseño de Programas. Formalismo y Abstracción pdf

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.

Tabla de Contenido:  [339 Pág.]

La eficiencia de los programas
Especificaciones de problemas
Diseño recursivo
Diseño iterativo
Tipos abstractos de datos
Especificación de estructuras de datos
Implementación de estructuras de datos
Soluciones a los ejercicios y problemas


Enlace: MEGA
peliculas - programas
38 Puntos Score: 7.6/10
Visitas: 1122 Favoritos: 4
Ver los usuarios que votaron...
8 Comentarios Diseño de Programas. Formalismo y Abstracción pdf
Excelente aporte...........
Interesantes libros aportas amigo, gracias por compartirlos, un abrazo.  
Gracias por comentar
Para dejar un comentario Registrate! o.. eres ya usuario? Accede!
Facebook Identi