Algoritmos Correctos y Eficientes: Diseño Razonado Ilustrado con Ejercicios
Tipo de material: TextoIdioma: Español Detalles de publicación: Madrid Garceta 2013Descripción: 236 PáginasISBN:- 978-84-1545-232-4
- 005.1 MAR
Contenidos:
Especificación de algoritmos.-- VerificaiónReglas básicas de verificación.-- Precognición mas débil.-- Reglas específicas.-- Verificación de algoritmos recursivos.-- Análisis de complejidad.-- Derivación de algoritmos iterativos.-- derivación de algoritmos recursivos.-- Análisis por casos y composición.-- Técnicas de inmersión.-- Técnicas de desplegado y plegado.-- Transformación de recursivo lineal a iterativo.
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libros - Monografías | Biblioteca Central | Ingeniería Informática | 005.1 MAR (Navegar estantería(Abre debajo)) | 1 | Disponible | BGL54340 | ||
Libros - Monografías | Biblioteca Central | Ingeniería Informática | 005.1 MAR (Navegar estantería(Abre debajo)) | 2 | Disponible | BGL54341 |
Incluye índice general
Incluye bibliografía
Especificación de algoritmos.-- VerificaiónReglas básicas de verificación.-- Precognición mas débil.-- Reglas específicas.-- Verificación de algoritmos recursivos.-- Análisis de complejidad.-- Derivación de algoritmos iterativos.-- derivación de algoritmos recursivos.-- Análisis por casos y composición.-- Técnicas de inmersión.-- Técnicas de desplegado y plegado.-- Transformación de recursivo lineal a iterativo.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.