Diseño efectivo de programas correctos / Jaime Alejandro Bohórquez Villamizar.

Format:

Book

Author/Creator:

Bohórquez Villamizar, Jaime Alejandro, author.

Series:

Colección de informática.

Colección de informática

Language:

Spanish

Subjects (All):

Computer programming.

Data structures (Computer science).

Physical Description:

1 online resource (483 pages).

Place of Publication:

Bogotá, Colombia : Escuela Colombiana de Ingeniería Julio Garavito Editorial, 2006.

Summary:

El presente libro se aparta del enfoque tradicional de la enseñanza de la programación, donde hay que adivinar el código de los programas para su posterior remiendo, mediante un proceso de ensayo y error lento y costoso. Dirigido a cualquier programador serio, estudiante de informática o participante asiduo de maratones de programación, con al menos un año de experiencia en programación de computadores, este libro se ocupa del diseño de programas correctos por construcción, es decir, del diseño calculativo de programas a partir de sus especificaciones. Se utiliza una combinación balanceada de la teoría matemática, la práctica de la programación y el diseño de algoritmos correctos y eficientes, enfrentando algo que no se hace en la mayor parte de los textos de clase: mostrar por qué la matemática y la lógica son instrumentos esenciales para un buen programador.

Notes:

Description based on publisher supplied metadata and other sources.