Búsqueda avanzada
Tu compra

La bolsa está vacía

Nº de libros 0 total 0 €
Iniciar compra
Patrocinados (Publicidad)
Boletín libros
Libros en promoción

Informática> Programación y lenguajes> Lenguajes. Pascal. Basic. C

DISEÑO DE PROGRAMAS: FORMALISMO Y ABSTRACCION (3ª ED.) (INCLUYE C D)
de
PEÑA MARI, RICARDO
PEARSON EDUCACION 2005
(0) ¡Vota!
  
17.0x24.0 cm      466 pags
Lengua: CASTELLANO
Encuadernación: Tapa blanda
ISBN: 9788420541914
Colección:
Nº Edición:3ª
Año de edición:2005
Plaza edición: MADRID
29.90€
($46.94)

Disponible en casadellibro.com

(Ver detalles)
Libro disponible, salida de almacén entre 2 y 7 días (laborables), excepto si fuera necesario pedirlo a editorial. En todo momento te mantendremos informado por email, y podrás modificar/anular el pedido si el plazo excede lo esperado. Este tiempo no incluye el tiempo de transporte, que dependerá de la forma de envío y del país de destino seleccionado. La disponibilidad únicamente se refiere a casadellibro.com, y el cobro de tu pedido se realizará en el momento de su envío.
[Cerrar]
Añadir a tu compra

Cómpralos juntos al mejor precio
Comprar DISEÑO DE PROGRAMAS: FORMALISMO Y ABSTRACCION (3ª ED.) (INCLUYE C D) junto con:
LIBROS - DISEÑO DE PROGRAMAS: FORMALISMO Y ABSTRACCION (3ª ED.) (INCLUYE C D) Más LIBROS - CUADERNO DE HOJAS A RAYAS
CUADERNO DE HOJAS A RAYAS

MOLESKINE

Cuaderno de hojas a rayas. 240 páginas rayadas, 13 x 21 cm, papel libre de cloro, bolsillo interior con fuelle. Cubiertas de cartoné con las puntas redondeadas. Goma elástica para cerrar.La historia de Moleskine está en el ......

Cómpralos juntos

Cómpralos hoy por
43.40€ ($68.14)

CUADERNO DE BOCETOS

MOLESKINE

Cuaderno de bocetos. 100 páginas, 13 x 21 cm, cartulina de alta calidad libre de cloro, bolsillo interior con fuelle. Cubiertas de cartoné con las puntas redondeadas. Goma elástica para cerrar.El cuaderno para bocetos, dibujos y ......

Cómpralos juntos

Cómpralos hoy por
43.40€ ($68.14)

Resumen del libro
Esta obra está destinada a quienes quieren mejorar sus métodos de programación y aprender a razonar sobre la corrección y la eficiencia de sus programas. En el libro se describen técnicas tales como el diseño y la verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos de datos; se estudian tanto las técnicas como los fundamentos matemáticos de éstas y se dan numerosos ejemplos de ellas. También se incluyen un CD-ROM con numerosos ejercicios prácticos.
Clientes que compraron este libro también compraron

Otros libros del autor: PEÑA MARI, RICARDO
¿Te lo has leído? ¿Sabes de lo que habla?

En nuestra comunidad encontrarás un espacio para poder compartir opiniones y encontrar amigos que tengan los mismos gustos de lectura.

Que comentan los lectores
¿No tienes tu blog? Crealo ya!!! y conoce a otras personas con tus gustos literarios

Libro de Arena es la comunidad lectora donde podrás hablar de tus gustos literarios o escribir tu obra por capítulos o simplemente estar al día de lo que otros usuarios hablan...

Entra y crea tu blog