Diseño de Programas. Formalismo y Abstracción, 2da Edición -
Textos y libros 05.10.2017 a las 12:18 hs 648 0
635) {this.width=635}" * />
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.
635) {this.width=635}" * />
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.
635) {this.width=635}" * />
Para poder ver los links necesitas estar Registrado . O.. ya tienes cuenta? Logueate!
Puntos: 215
Comentarios (2)
Cargando comentarios espera un momento...
No tienes permisos para comentar.
Medallas
Posts Relacionados: