Cerrar

Cerrar

 Menú   

Comparte esta página en Twitter


Inicio  >  eBooks  >  Diseno De Programas Formalismo Y Abstraccion 3ed



Título:

Diseño De Programas. Formalismo Y Abstracción, 3/ed

Autor:

Ricardo Peña Marí

Editar
Valoración: Editar
Temática:

Informática

Editar
N° votos:

4

Sinópsis: 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. Editar

Comentarios:



Deja tu comentario:


Nombre: 










ebookranking.com © 2010 · Contacto
 online
(Tu IP: 54.198.54.142)