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.

Codice articolo DTF9788415452324

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: ALGORITMOS CORRECTOS Y EFICIENTES
Editore: GARCETA (TEXTO)
Data di pubblicazione: 2012
Lingua: Spagnolo
ISBN 10: 8415452322
ISBN 13: 9788415452324
Rilegatura: Tapa blanda
Condizione: Nuevo

Descrizione libreria

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

Visita la pagina della libreria

Informazioni sull?azienda del venditore

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

Condizioni di vendita e spedizione

Condizioni di vendita

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...

Ulteriori informazioni

Condizioni di spedizione

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.