Martí Oliet, Narciso
Especificación, derivación y análisis de algoritmos : ejercicios resueltos / Narciso Martí Oliet - [s.l.] Pearson 2006 - 188. p.
ESPECIFICACIÓN DE ALGORITMOS; Ejercicios resueltos; Ejercicios propuestos, VERIFICACIÓN; reglas básicas de verificación; Precondición más débil; Reglas específicas; Verificación de algoritmos recursivos. ANÁLISIS DE COMPLEJIDAD; Ejercicios resueltos; Ejercicios propuestos. DERIVACIÓN DE ALGORITMOS ITERATIVOS; Ejercicios resueltos; Ejercicios propuestos DERIVACIÓN DE ALGORITMOS RECURSIVOS; Análisis por casos y composición; Técnicas de inmersión; Técnica de desplegado y plegado; Transformación de recursivo lineal a iterativo
9788483222928
ESTRUCTURA DE DATOS (INFORMÁTICA) ; ALGORITMOS (COMPUTADORES) -- PROBLEMAS, EJERCICIOS ; ESTRUCTURAS DE DATOS (INFORMÁTICA) - PROBLEMAS, EJERCICIOS
005.1 / M378
Especificación, derivación y análisis de algoritmos : ejercicios resueltos / Narciso Martí Oliet - [s.l.] Pearson 2006 - 188. p.
ESPECIFICACIÓN DE ALGORITMOS; Ejercicios resueltos; Ejercicios propuestos, VERIFICACIÓN; reglas básicas de verificación; Precondición más débil; Reglas específicas; Verificación de algoritmos recursivos. ANÁLISIS DE COMPLEJIDAD; Ejercicios resueltos; Ejercicios propuestos. DERIVACIÓN DE ALGORITMOS ITERATIVOS; Ejercicios resueltos; Ejercicios propuestos DERIVACIÓN DE ALGORITMOS RECURSIVOS; Análisis por casos y composición; Técnicas de inmersión; Técnica de desplegado y plegado; Transformación de recursivo lineal a iterativo
9788483222928
ESTRUCTURA DE DATOS (INFORMÁTICA) ; ALGORITMOS (COMPUTADORES) -- PROBLEMAS, EJERCICIOS ; ESTRUCTURAS DE DATOS (INFORMÁTICA) - PROBLEMAS, EJERCICIOS
005.1 / M378