Programación metódica

Autor : José Luis Balcázar

País : España

Idioma : Castellano

Fecha de publicación : 01-10-1993

Páginas : 432

Edición : 1ª

Editorial : McGraw-Hill Interamericana de España S.L.

Encuadernación : Tapa blanda o Bolsillo

Dimensiones : 230 x 180 mm.

Sinopsis : Texto de programación avanzada. Describe los contenidos con ejemplos. En muchos casos, cada capítulo emplea métodos y técnicas descritos en capítulos anteriores, de manera que proporciona ejemplos adicionales. Incluye gran cantidad de ejercicios que proceden de la Facultad de Informática de Barcelona y algunos de ellos han sido enunciados de examen en cursos pasados.

¿Por qué lo tengo? : Balcázar es otro peso pesado (de la Universitat Politècnica de Catalunya). Este libro complementa perfectamente al de Ricardo Peña. Sigue la escuela de Dijkstra de "derivación formal de algoritmos" (el famoso enfoque de predicate transformers). Es un libro corto, muy bien estructurado, que te enseña a razonar sobre el código de forma lógica y matemática. Si tu facultad es de las que exigen demostrar formalmente que un bucle funciona (con invariantes y funciones de cota), este libro es un salvavidas.

ISBN : 978-84-481-1957-7

Estado de Lectura : Pendiente