Paraninfo

Homepage » Computación E Informática » Programación Informática/Desarrollo De Software » Algoritmos Y Estructuras De Datos » Algoritmos correctos y eficientes

We will find it for you!
If you are looking for this book and not have stock, we will seek for you at no extra cost.
Just leave us your email, we will contact you as soon as we find it.

LOOK FOR ME!


Do not worry, we'll only contact you to let you know when we have the book. In any case your mail will be transferred to third parties or send you advertising or spam.
Ficha
Books Frontpage Algoritmos correctos y eficientes
  • 32,31 USD

  • * Free shipping to US.


  • Not available

    • -

    • Unit(s)

Features:

  • Pages: 260
  • Format: 1,8x19,8x25,81 cm
  • Edition: 23102012
  • Language: Castellano.
  • Binding: Tapa blanda o Bolsillo.
  • Weight: 0,18 kg.
  • Editorial: IBERGARCETA PUBLICACIONES, S.L

  • Algoritmos correctos y eficientes

    Diseño razonado ilustrado con ejercicios

  • 9788415452324

  • Authors: José Alberto Verdejo López, Narciso Martí Oliet, Alberto Verdejo López, Clara Segura Díaz

  • Este libro de ejercicios sobre diseño de algoritmos correctos y eficientes es el resultado de la actividad docente de sus autores, profesores de asignaturas de programación durante muchos años en la Universidad Complutense de Madrid, e intenta paliar el déficit de material docente sobre especificación y verificación formal de programas disponible en castellano. Se hace especial hincapié en la derivación de programas a partir de su especificación. La derivación consiste en la construcción sistemática del programa a partir de su especificación, de forma que se garantiza que al final de tal construcción el algoritmo cumple la especificación y, por tanto, es automáticamente correcto con respecto a esta. También se introducen los conceptos básicos para analizar el coste de un programa, puesto que este ingrediente es asimismo útil para construir programas que además de correctos sean eficientes. Cada capítulo empieza con una breve introducción para repasar los conceptos principales y fijar las notaciones que se utilizan en el desarrollo posterior de las soluciones de los ejercicios; sigue con una serie de ejercicios resueltos con detalle y de dificultad creciente; y acaba proponiendo nuevos ejercicios que deberían ser resueltos por el estudiante interesado.
  • 32,31 USD

  • * Free shipping to US.


  • Not available
About us | Contact us | Legal warning | Privacy Policy | Purchase conditions

© Ediciones Paraninfo S.A.Calle José Abascal, 56 (Utopicus). Oficina 217. 28003 Madrid (España)

Phone: (+34) 656 541 982 - (+34) 913 308 918
WhatsApp: (+34) 656 541 982
Fax: (+34) 91 445 62 18
Email: [email protected]