PEÑA MARÍ, RICARDO
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.