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

COMPUTACION BASICA PARA ADULTOS
APRENDER 3DS MAX 2012 AVANZADO 100 EJERCICIOS
COMO PROGRAMAR VACACIONES EN INTERNET
DESARROLLO ORGANIZACIONAL 2ED.
OUTLET: GUIA DE CAMPO MACROMEDIA DIRECTO MX
TEORIA GENERAL DEL ESTADO
MARKETING 16ED. 

