Encara no hi ha cap producte a la teva cistella
Cuando el microondas o Amazon fallan: los retos para una programación eficiente.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 explica de manera divulgativa los métodos que los investigadores e ingenieros han ideado para detectar y prevenir tales errores antes de que se manifiesten. En paralelo con esta exposición, se narra cómo hizo frente a los errores del software la empresa Amazon Web Services.
Has afegit la quantitat màxima disponible.
Este libro universitario presenta una amplia variedadde 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 dedicado a estructuras de datos eficientes y otro semestre a métodos algorítmicos. Supone una exposición previa a dos o tres semestres de materias de programación donde se hayan tratadolos conceptos básicos, la sintaxis y la semántica deun lenguaje de programación, la recursión, las estructuras de datos lineales y las nociones de clase y objeto. Es también recomendable tener conocimientos previos o simultáneos del paradigma de programación funcional, fundamentos de especificación y verificación formal de programas y de lógica y matemática discreta.El enfoque del libro es original por el hecho de quecasi las dos terceras partes de los algoritmos se presentan especificados y verificados formalmente en laplataforma Dafny de verificación asistida. Como material asociado al libro, se distribuyen los ficheros Dafny con el texto completo de todos los algoritmos, junto con sus especificaciones formales y asertos intermedios necesarios. El lector puede reproducir la verificación de los programas sin más que procesarlos condicha plataforma. Dicho material puede descargarse desde la web de la editorial Garceta.
Esgotat ara
Has afegit la quantitat màxima disponible.