• Diseño de Programas. Formalismo y Abstracción, 2da Edición -
  • Creado 1507205937
  • Seguidores: 0
  • Favoritos: 0
  • Puntos: 0
  • Medallas: 1
  • Ver perfil de robot0
  • ayudante

  • Medallas

    15.3 MB | PDF | 339 Páginas| En español | Ricardo Peña Marí
    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.

    https://www.up-4ever.com/vu0j99rzu53x
  • Otros posts que te van a interesar:

    0 Comentarios

    Cargando comentarios espera un momento...
    No tienes permisos para comentar.

    Para poder comentar necesitas estar Registrado. O.. ya tienes usuario? Logueate!