Haga clic para más libros.
No products were found.

Diseño de Programas. Formalismo y Abstracción

Nº de páginas: 326

Editorial: PRENTICE-HALL

Idioma: CASTELLANO

Encuadernación: Tapa blanda

ISBN: 9788483220030

Año de edición: 1997

Plaza de edición: BARCELONA

Lee masMostrar menos
20,00 €
Estado
Utilizado
Referencia:
01023
Favorito0
Añadir para comparar0
A lista de deseos
Fuera de stock
Escanee el código QR para abrir esta página en su teléfono.
Avisarme cuando esté disponible
Editorial:
También le puede interesar
Descripción

Descripción:
Esta obra está destinada a quienes quieren mejorar sus métodos de programación y aprender a razonar sobre la corrección y la eficiencia de sus programas.
En el libro se describen técnicas tales como el diseño y la verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos de datos; se estudian tanto las técnicas como los fundamentos matemáticos de éstas y se dan numerosos ejemplos de ellas. También se incluyen numerosos ejercicios prácticos.

Contenidos:
Índice de Figuras. Índice de Tablas. Prólogo a la segunda edición. La eficiencia de los algoritmos. Especificación de problemas. Diseño recursivo. Diseño interactivo. Tipos abstractos de datos. Especificación de estructuras de datos. Implementación de estructuras de datos. A. Soluciones a los ejercicios y problemas. Bibliografía. Índice analítico.

Lee masMostrar menos
Detalles del libro
01023

Referencias específicas

isbn
9788483220030
ean13
9788483220030
Comentarios
Sin comentarios
16 otros libros en la misma categoría:

Menú

Ajustes

Crear una cuenta gratuita para guardar tus favoritos.

Registrarse

Crear una cuenta gratuita para usar listas de deseos.

Registrarse