Algoritmos correctos y eficientes: Diseño razonado ilustrado con ejercicios (Texto (garceta))

 
9788415452324: Algoritmos correctos y eficientes: Diseño razonado ilustrado con ejercicios (Texto (garceta))
Ver todas las copias de esta edición ISBN.
 
 

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver este artículo

Gastos de envío: EUR 7,50
De España a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

Imagen de archivo

1.

Verdejo lópez, Alberto; Segura Díaz, Clara; Martí Oliet, Narciso
Publicado por Garceta Grupo Editorial (2012)
ISBN 10: 8415452322 ISBN 13: 9788415452324
Nuevo Tapa blanda Cantidad disponible: 1
Librería
AG Library
(Malaga, España)

Descripción Garceta Grupo Editorial, 2012. Condición: New. *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla. EL COSTE DE ENVÍO A CANARIAS ES 11.49 EUROS. Si ha realizado un pedido con destino a CANARIAS no podemos hacer el envío con el coste actual. Nos pondremos en contacto con usted para comunicar el coste total del envío a Canarias y si está de acuerdo, Abebooks le efectuará el cargo adicional. Nº de ref. del artículo: 7512319

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 20,90
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 7,50
De España a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

2.

Marti Oliet, Narciso,
Publicado por Garceta, España
ISBN 10: 8415452322 ISBN 13: 9788415452324
Nuevo Rústica Cantidad disponible: 3
Librería
Siglo Actual libros
(Soria, SORIA, España)

Descripción Garceta, España. Rústica. Condición: Nuevo. Estado de la sobrecubierta: Nuevo. Nº de ref. del artículo: 523992

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 21,60
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 16,00
De España a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

3.

MARTI OLIET, NARCISO
Publicado por GARCETA -TEXTO, GRUPO EDITORIA (2012)
ISBN 10: 8415452322 ISBN 13: 9788415452324
Nuevo Cantidad disponible: 9
Librería
Hilando Libros
(Madrid, España)

Descripción GARCETA -TEXTO, GRUPO EDITORIA, 2012. RUSTICA. Condición: NUEVO. 246 pages/páginas. Nº de ref. del artículo: 9788415452324

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 21,15
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 25,00
De España a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

4.

MARTI,NARCISO
Publicado por GARCETA GRUPO EDITORIAL (2012)
ISBN 10: 8415452322 ISBN 13: 9788415452324
Nuevo Rústica Cantidad disponible: 2
Librería
Librerias Prometeo
(Malaga, España)

Descripción GARCETA GRUPO EDITORIAL, 2012. Rústica. Condición: New. Estado de la sobrecubierta: Nuevo. 0. Nº de ref. del artículo: 996246

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 22,00
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 45,00
De España a Estados Unidos de America
Destinos, gastos y plazos de envío