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...
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livro |
| Idioma: | espanhol |
| Colecção: | Serie (Prentice práctica)
|
| Assuntos: | |
| Acesso em linha: | Ver en el OPAC |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
| Resumo: | 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. |
|---|---|
| Descrição Física: | x, 188 páginas ; 27 cm. |
| Bibliografia: | Incluye bibliografía |
| ISBN: | 9788483222928 8483222922 |