Tapa blanda

Español

Nivola

De euclides a java. Historia de los algoritmos y de los lenguajes de programación

Este libro presenta una amplia variedad de estructuras de datos y de métodos algorítmicos con el objetivo de servir como texto base para uno o dos cursos avanzados de programación. El contenido es apropiado para un semestre en estructuras de datos eficientes y otro semestre en métodos algorítmicos. Supone una exposición previa a dos o tres semestres de asignaturas de programación donde se hayan tratado los conceptos básicos, la sintaxis y semántica de un lenguaje de programación, la recursión, las estructuras de datos lineales y las nociones de clase y objeto. Es también recomendable una exposición previa o simultánea al paradigma de programación funcional, a los fundamentos de la especificación y verificación formal de programas y a asignaturas de lógica y matemática discreta.

Garceta Grupo Editorial

Ibergarceta Publicaciones S.l.

Algoritmos y estructuras de datos. Con programas verificados en dafny

Los computadores permean y controlan todas las facetas de la vida de las sociedades modernas, desde nuestro horno de microondas o nuestro automóvil, hasta los grandes sistemas informáticos de empresas como Amazon o Google. Su capacidad para resolver problemas se la da el software, es decir, el conjunto de programas que contienen sus memorias. Y el software, por desgracia, contiene errores que, a veces, se manifiestan de forma dramática mediante pérdidas económicas o de vidas humanas. El libro comienza recordando ciertos fallos catastróficos debidos al software y analizando cuáles fueron sus causas. De menor a mayor complejidad, los siguientes capítulos explican los métodos que los investigadores e ingenieros han ideado para detectar y prevenir tales errores antes de que se manifiesten. El nivel pretendido es divulgativo, si bien ocasionalmente aparecen fórmulas y programas que ilustran los métodos, que pueden esquivarse sin que ello afecte a la comprensión. En paralelo con esta exposición, se desarrolla una historia real ùaunque ficcionada en sus detalles por el autorù sobre cómo hizo frente a los errores del software la empresa Amazon Web Services.

De euclides a java. Historia de los algoritmos y de los lenguajes de programación

Algoritmos y estructuras de datos. Con programas verificados en dafny (2023)

Los errores del software y como prevenirlos (2024)