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.

Seller Inventory # DTF9788415452324

Contact seller

Report this item

Bibliographic Details

Title: ALGORITMOS CORRECTOS Y EFICIENTES
Publisher: GARCETA (TEXTO)
Publication Date: 2012
Language: Spanish
ISBN 10: 8415452322
ISBN 13: 9788415452324
Binding: Tapa blanda
Condition: Nuevo

About this title

Synopsis

Rare book

"About this title" may belong to another edition of this title.

Store Description

Librer�a general (Libro nuevo y 2� mano)

Visit Seller's Storefront

Seller's business information

GRUPO ANSA IMEX IBERICA, S.L.
Carrer De La Mitja Galta 34b, Borriana, 12530, Spain

Sale & Shipping Terms

Terms of Sale

Garantizamos el estado del libro seg�n se indica en la p�gina web de
AbeBooks.
Si usted desea hacer cualquier cambio en su pedido o tiene alguna incidencia
puede contactarnos en kalamo@kalamobooks.com

We guarantee the condition of every book as it's described on the Abebooks
web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a
refund
within 30 days of the estimated delivery date. If you've changed you...

More Information

Shipping Terms

Espa�a:
Los env�os gratuitos se tramitan por Correo postal. Son env�os sin c�digo de seguimiento. El cartero dejar� un aviso de recogida en el buz�n. Este tipo de env�os "PostLibris" no tienen entrega a domicilio, la entrega es en su oficina de Correos m�s cercana. El plazo estimado de entrega es orientativo y no vinculante ya que depende de la gesti�n de cada oficina de Correos en concreto.

El env�o "Prioritario" son certificados con c�digo de seguimiento. Solamente aplicable a Espa�a peninsular.

Los pedidos que superen los 2 Kgs. (4,4 LB) de peso, tendr�n un cargo adicional en el precio de env�o el cual comunicaremos al cliente.

Cualquier incidencia debe ser comunicada en un plazo de 30 d�as desde la fecha estimada de entrega.

Internacional:
Orders usually ship within 2 business days. Shipping costs are based on books weighing 1.1 LB, or 0,5 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
The especial fee for books do not allow any track, the destination postal office will register the incoming parcel and advice you.