Una Introducción al Análisis y la Verificación de Algoritmos
Área: Análisis y Verificación de Algoritmos
Palabras clave:
teorema de invarianza, complejidad computacional, codificación de Huffman, Lógica de Hoare, Análisis de algoritmosResumen
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.
Descargas
Descargas
Publicado
Número
Sección
Licencia
Derechos de autor 2023 Institución Universitaria Politécnico Grancolombiano
Esta obra está bajo una licencia internacional Creative Commons Atribución-SinDerivadas 4.0.
Los autores/as que publiquen en la Editorial Politécnico Grancolombiano aceptan las siguientes condiciones:
- Los autores/as conservan los derechos de autor y ceden a la revista el derecho de la primera publicación, con el trabajo registrado con Creative Commons: Reconocimiento - No Comercial -Sin Obra Derivada, que permite a terceros utilizar lo publicado siempre que mencionen la autoría del trabajo y a la primera publicación en esta revista.
- Los autores/as pueden realizar otros acuerdos contractuales independientes y adicionales para la distribución no exclusiva de la versión del artículo publicado en esta revista (p. ej., incluirlo en un repositorio institucional o publicarlo en un libro) siempre que indiquen claramente que el trabajo se publicó por primera vez en esta revista.
- Se permite y recomienda a los autores/as a publicar su trabajo en Internet (por ejemplo en páginas institucionales o personales) antes y durante el proceso de revisión y publicación, ya que puede conducir a intercambios productivos y a una mayor y más rápida difusión del trabajo publicado.
Panorama by Institución Universitaria Politécnico Grancolombiano is licensed under a Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Unported License.
