Ricardo Peña Mari

Todavía no ha sido valorado

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...

Es innegable, en este comienzo del siglo XXI, que la aparición de los ordenadores y, sobre todo, su hibridación con las teleco- municaciones configurando la gran red global, ha propiciado una revolución de las fuerzas productivas de una magnitud desconocida hasta ahora. Nuestra historia comienza casi a la vez que la de la humanidad, pues incluso...