Diseño de programas. Formalismo y abstraccion
Editorial EDITORIAL ALHAMBRA, S.A.
Enviament gratuït
Espanya peninsular
Espanya peninsular
- Editorial EDITORIAL ALHAMBRA, S.A.
- ISBN13 9788420541914
- ISBN10 8420541915
- Tipus LLIBRE
- Pàgines 466
- Any Edició 2005
- Idioma Castellà
- Encuadernació Rústica
Matèries
Programació: Obres Interès GeneralDiseño de programas. Formalismo y abstraccion
Editorial EDITORIAL ALHAMBRA, S.A.
-5% dte. 22,90€
21,76€
Estalvia 1,15€
No disponible, consulti disponibilitat
Enviament gratuït
Espanya peninsular
Espanya peninsular
Detalls del llibre
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.
Matèries
Programació: Obres Interès GeneralMés llibres de Ricardo Peña Marí
28,50€
30,00€
Consulti disponibilitat
26,51€
27,90€
Consulti disponibilitat
18,90€
19,90€
Consulti disponibilitat