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:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ejemplares |
---|---|---|---|---|---|---|---|
![]() |
Biblioteca Central SM Colección General | 005.1 (Ver Items Similares) | Ej.1 | Disponible | 27239 | ||
![]() |
Biblioteca Central SM Colección General | 005.1 (Ver Items Similares) | Ej.2 | Disponible | 27240 | ||
![]() |
Biblioteca Central SM Colección General | 005.1 (Ver Items Similares) | Ej.3 | Disponible | 27241 | ||
![]() |
Biblioteca USU Colección General | 005.1 (Ver Items Similares) | Ej.4 | Disponible | 27242 | ||
![]() |
Biblioteca USU Colección General | 005.1 (Ver Items Similares) | Ej.5 | Disponible | 27243 | ||
![]() |
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
No hay comentarios para este ejemplar.