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.