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.

N� de ref. del art�culo DTF9788415452324

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: ALGORITMOS CORRECTOS Y EFICIENTES
Editor: GARCETA (TEXTO)
Fecha de publicaci�n: 2012
Idioma: Espa�ol
ISBN 10: 8415452322
ISBN 13: 9788415452324
Encuadernaci�n: Tapa blanda
Estado: Nuevo

Acerca de

Sinopsis

Algoritmos Correctos Y Eficientes

De la contraportada

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

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

Condiciones de venta y env�o

Condiciones de venta

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" es certificado con c�digo de seguimiento. Solamente aplicable a Espa�a peninsular....

M�s informaci�n

Condiciones de env�o

El env�o "Prioritario" es certificado 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.