Especificación, derivación y análisis de algoritmos : ejercicios resueltos /
Aunque los temas relacionados con la especificación y verificación formal de programas no gozan de mucha popularidad, es importante su inclusión en los temarios, sobre todo haciendo más hincapié en la derivación de programas a partir de su especificación, de forma que se obtiene un algoritmo correc...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Libro |
| Lenguaje: | español |
| Colección: | Serie (Prentice práctica)
|
| Materias: | |
| Acceso en línea: | Ver en el OPAC |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nam a22000007a 4500 | ||
|---|---|---|---|
| 007 | ta | ||
| 008 | 140213b2006 sp ||||| |||| 00| 0 spa d | ||
| 020 | |a 9788483222928 | ||
| 020 | |a 8483222922 | ||
| 037 | |b Pearson educación, Rivera del loira, 28 28042 Madrid | ||
| 040 | |a SV-SsUSB |b spa | ||
| 082 | 0 | 4 | |2 21 |a 005.131 |b M378e |
| 100 | 1 | 0 | |a Martí Oliet, Narciso |e autor |
| 245 | 1 | 0 | |a Especificación, derivación y análisis de algoritmos : |b ejercicios resueltos / |c Narciso Martí Oliet, Clara María Segura Díaz, José Alberto Verdejo López. [y otros dos]. |
| 264 | |a Madrid : Pearson Prentice Hall, [2006] |b Pearson Prentice Hall, |c 2006. | ||
| 300 | |a x, 188 páginas ; |c 27 cm. | ||
| 336 | |2 rdacontent |a texto |b txt | ||
| 337 | |2 rdamedia |a no mediado |b n | ||
| 338 | |2 rdacarrier |a volumen |b nc | ||
| 490 | |a Serie (Prentice práctica) | ||
| 504 | |a Incluye bibliografía | ||
| 505 | |a Especificaciones de algoritmos -- Verificación -- Análisis de complejidad -- Derivación de algoritmos iterativos -- Derivación de algoritmos recursivos | ||
| 520 | |a Aunque los temas relacionados con la especificación y verificación formal de programas no gozan de mucha popularidad, es importante su inclusión en los temarios, sobre todo haciendo más hincapié en la derivación de programas a partir de su especificación, de forma que se obtiene un algoritmo correcto por construcción. - C on el presente libro se intenta contribuir a paliar este déficit, pero además en un formato apropiado para los alumnos que demandan como complemento a los "libros de teoría" y a los apuntes de clase, un libro de ejercicios resueltos. -De esta forma, cada capítulo comienza con una breve introducción cuyo objetivo es repasar los conceptos principales y fijar las notaciones que se utilizan en el desarrollo posterior de las soluciones de los ejercicios, pero no supone un tratamiento detallado del tema, para el cual se remite a algunos libros de teoría, como el de Ricardo Peña: "Diseño de programas". La parte principal de cada capítulo consiste en una serie de ejercicios resueltos de dificultad creciente. Además, al final de cada capítulo se proponen nuevos ejercicios para resolver por el lector. - En la presentación de las soluciones a los ejercicios resueltos se ve directamente una solución que funciona, pero ya no hay ocasión de ver los posibles pasos fallidos que uno ha podido dar antes de llegar a la solución, por lo que se anima a los lectores a intentar llegar a una solución por su cuenta, para ver cuáles son los pasos que hay que dar y con qué opciones se enfrenta uno en cada paso. | ||
| 650 | 0 | 7 | |2 lemb |a Algoritmos |x Problemas, Ejercicios, etc. |
| 653 | |a Algoritmos computacionales | ||
| 700 | |a Segura Diaz, Clara María |e autor | ||
| 700 | |a Verdejo López, José Alberto |e autor | ||
| 942 | |2 Dewey Decimal Classification |c Books | ||
| 990 | |a bc_dina | ||
| 999 | |c 35321 |d 35321 | ||
| 952 | |1 Disponible |2 Dewey Decimal Classification |8 Colección General |a Biblioteca Central |b Biblioteca Central |c Colección General |d 2014-02-13 |e Prolibros |g 15.24 |i 65457 |l 0 |o 005.131 M378e |p 10048656 |r 2017-01-19 00:00:00 |w 2014-02-13 |y Books | ||