FEB

Libros Universitarios Gratis Descargar PDF

Diseño de Programas. Formalismo y Abstracción, 2da Edición - 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.

Tabla de Contenido:  [339 Pág.]

  1. La eficiencia de los programas
  2. Especificaciones de problemas
  3. Diseño recursivo
  4. Diseño iterativo
  5. Tipos abstractos de datos
  6. Especificación de estructuras de datos
  7. Implementación de estructuras de datos
  8. Soluciones a los ejercicios y problemas

Captura:

Enlace de Descarga: [12.5 MB - Contraseña: www.fullengineeringbook.net]
*Mega:              OPCION 1 |  OPCION 2  | OPCION 3


No hay comentarios:

Publicar un comentario

FEBook
¡Compartimos lo mejor para ti, aprovéchalo!
Aclaramos que el material compartido ha sido recolectado exclusivamente de internet de sitios públicos por lo que es considerado libre de distribución.
El servidor fullengineeringbook.net no almacena ningún tipo de archivo.

Cambiar Idioma

Contáctanos

Nombre

Correo electrónico *

Mensaje *