Diseño efectivo de programas correctos /

Contenido: 0) Introducción; 1) Cálculo lógico; 2) Programación como ciencia; 3) Corrección y derivación de programas iterativos; 4) Corrección y derivación de programas recurrentes; 5) Complejidad algorítmica; 6) Ecuaciones de recurrencia; 7) Métodos generales de solución de problemas; 8) Divide y v...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Bohórquez Villamizar, Jaime Alejandro (autor)
Formato: Livro
Idioma:espanhol
Publicado em: Bogotá, Colombia : Escuela Colombiana de Ingeniería, 2006, c2006
Colecção:(Colección de Informática)
Assuntos:
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Detalhes do Exemplar IT1
Área/Cota:
005. 1 BOH
Ejemplar 0500144239
Disponible
Préstamo 7 días a 90
Coleção:
Colección General
Observações:
Ubicar en Nivel 1 Área de Colección General