Sinposis

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 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 han ideado para detectar y prevenir tales errores antes de que se manifiesten. Aparecen fórmulas y programas que ilustran los métodos, que pueden esquivarse sin que ello afecte a la comprensión.