Diseño de programas. Formalismo y abstraccion
Editorial EDITORIAL ALHAMBRA, S.A.
España peninsular
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 verifi...
Leer más...- Editorial EDITORIAL ALHAMBRA, S.A.
- ISBN13 9788420541914
- ISBN10 8420541915
- Tipo LIBRO
- Páginas 466
- Año de Edición 2005
- Idioma Castellano
- Encuadernación Rústica
Materias
Programacion:obras Interés GeneralDiseño de programas. Formalismo y abstraccion
Editorial EDITORIAL ALHAMBRA, S.A.
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 verifi...
España peninsular
Detalles del libro
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.