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.
Indice
1.Corrección
2.Eficiencia.
3.Informática.
4.Ingeniería.
5.Diseño.
6.Programación.
Información bibliográfica
ISBN: 9788420541914
AUTOR: PEÑA
EDITORIAL: PEARSON
AÑO: 2005
ÁREA: COMPUTACION

ADMINISTRACION ESTRATEGICA DE LA VISION A LA EJECUCIoN
NOTA DE PEDIATRIA
EL FUTURO DE LA PUBLICIDAD
LAS FINANZAS EN LAS EMPRESAS MULTINACIONALES 8ED.
PRINCIPIOS DE CONTABILIDAD 6ED.
MARKETING 16ED.
SISTEMAS DE CONTROL DE GESTION
LA PRACTICA DEL DERECHO NOTARIAL 8 EDICION
ADMINISTRACIÓN DE PEQUEÑAS EMPRESAS 2ED
FUNDAMENTOS DE NEGOCIACION 5ED.
FISICA 1
ANÁLISIS DE PROBLEMAS Y TOMA DE DECISIONES
OUTLET: HISTORIA DEL PENSAMIENTO ADMINISTRATIVO 2ED. 

