Comparte esta página en Twitter
Inicio >
eBooks > Diseno De Programas Formalismo Y Abstraccion 3ed
| Título: |
Diseño De Programas. Formalismo Y Abstracción, 3/ed |
| Autor: |
Ricardo Peña Marí |
 |
| Valoración: |
|
|
| Temática: |
Informática |
|
| N° votos: |
4 |
| Sinópsis: |
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. También se incluyen un CD-ROM con numerosos ejercicios prácticos. |
|
ebookranking.com © 2010 ·
Contacto
3
online
(Tu IP: 18.208.211.150)
