DISEÑO DE PROGRAMAS: FORMALISMO Y ABSTRACCION (3ª ED.) (INCLUYE C D) (En papel)
RICARDO PEÑA MARI,
PEARSON EDUCACION, 2005
ISBN 9788420541914
Otros formatos y ejemplares disponibles
1 libro usado desde: 18.00€
Entrega aproximada 10 días con envío urgente
Te faltan 19.00€ para conseguir el envío gratis
Inseparables, comprar "DISEÑO DE PROGRAMAS: FORMALISMO Y ABSTRACCION (3ª ED.) (INCLUYE C D)" junto con:
Cómpralos hoy por
53,45 €
Datos del libro
- 17.0x24.0cm.
- Nº de páginas: 466 págs.
- Editorial: PEARSON EDUCACION
- Lengua: CASTELLANO
- Encuadernación: Tapa blanda
- ISBN: 9788420541914
- Año edicón: 2005
- Plaza de edición: MADRID
Sinopsis
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 un CD-ROM con numerosos ejercicios prácticos.
Valoración Media
Todavía no ha sido valorado
Valoraciones usuarios
- (0)
- (0)
- (0)
- (0)
- (0)
Opiniones de los lectores sobre "DISEÑO DE PROGRAMAS: FORMALISMO Y ABSTRACCION (3ª ED.) (INCLUYE C D)"
No hay opiniones para este producto
Estantes en los que está guardado
- Este libro no se encuentra en ningún estante


Me gusta



Hazte un hueco en la comunidad de Casa del Libro, regístrate