01706nam a2200289 a 4500 595 AR-FRRoUTN 240624t2006 sp a||||r|||| 001 0 spa d 8483222922 9788483222928 UTN FRRo spa 004.42 2015 Martí Oliet, Narciso Especifiación, derivación y análisis de algoritmos : ejercicios resueltos / Narciso Martí Oliet, Clara María Segura Díaz, José Alberto Verdejo López. Madrid : Pearson, 2006. 198 p. : il. ; 27 cm. rdacontent texto txt rdamedia sin mediación n rdacarrier volumen nc Prólogo.-- Cap.1 Especificación de algoritmos. Introducción. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 2. Verificación. Introducción. Reglas básicas de verificación . Precondición más débil. Reglas específicas. Verificación de algoritmos recursivos. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 3. Análisis de complejidad. Introducción. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 4. Derivación de algoritmos iterativos. Introducción. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 5. Derivación de algoritmos recursivos. Introducción. 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.-- Ejercicios resueltos . Ejercicios propuestos.-- Bibliografía.-- ALGORITMOS Segura Díaz, Clara María Verdejo López, José Alberto udc BK 595 595 0 0 udc Buen Estado 0 FRRO FRRO Colección General 2011-03-03 Compra 28493 0 004.42 M356 28493 2024-06-24 11:15:20 1 0000-00-00 BK