Especificación, derivación y análisis de algoritmos : ejercicios resueltos / Narciso Martí Oliet
Por: Martí Oliet, Narciso [Autor].
Colaborador(es): Martí Oliet, Narciso.
Tipo de material:
LibroEditor: [s.l.] Pearson 2006Descripción: 188. p.ISBN: 9788483222928.Tema(s): ESTRUCTURA DE DATOS (INFORMÁTICA) ; ALGORITMOS (COMPUTADORES) -- PROBLEMAS, EJERCICIOS ; ESTRUCTURAS DE DATOS (INFORMÁTICA) - PROBLEMAS, EJERCICIOSClasificación CDD: 005.1 Resumen: 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
| Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ejemplares |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central SM Colección General | 005.1 (Ver Items Similares) | Ej.1 | Disponible | 27239 | ||
|
Libros
|
Biblioteca Central SM Colección General | 005.1 (Ver Items Similares) | Ej.2 | Disponible | 27240 | ||
|
Libros
|
Biblioteca Central SM Colección General | 005.1 (Ver Items Similares) | Ej.3 | Disponible | 27241 | ||
|
Libros
|
Biblioteca USU Colección General | 005.1 (Ver Items Similares) | Ej.4 | Disponible | 27242 | ||
|
Libros
|
Biblioteca USU Colección General | 005.1 (Ver Items Similares) | Ej.5 | Disponible | 27243 | ||
|
Libros
|
Biblioteca USU Colección General | 005.1 (Ver Items Similares) | Ej.6 | Disponible | 27244 |
Total de reservas: 0
Navegando Biblioteca Central SM Estantes , Ubicación: Colección General Cerrar el navegador de estanterías
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
Martí Oliet, Narciso 2006 2006
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios para este ejemplar.