El presente MI-Book expone la creciente importancia de la verificación de software en el universo tecnológico. La verificación de software tiene un impacto significativo en la eficacia y calidad de las soluciones para los usuarios. Esta obra detalla procedimientos de comprobación y rectificación de software, reforzando la detección de fallas y optimización de productos. También ilustra mediante ejemplos y profundiza en métodos estadísticos, como triplas de Hoare, teorema de invarianza, análisis y complejidad algorítmica, clases de complejidad, problemas de decisión, intratabilidad, reducción de Karp, algoritmos voraces, optimización y codificación de Huffman. En definitiva, este libro es un recurso esencial para los interesados en la elaboración de software de alta calidad y rendimiento.

ISBN:  978-628-7662-33-9