Especificación, derivación y análisis de algoritmos : ejercicios resueltos /

Saved in:

Bibliographic Details
Main Author:	Martí Oliet, Narciso
Other Authors:	Segura Díaz, Clara María, Verdejo López, José Alberto
Format:	Book
Language:	Spanish
Published:	Madrid : Pearson Educación, c2006.
Subjects:	Algoritmos Funciones recursivas Lógica simbólica y matemática Informática Teoría de las máquinas
Notas Contenido:	Especificación de algoritmos Verificación Análisis de complejidad Derivación de algoritmos iterativos Derivación de algoritmos recursivos

Bogotá/Metrología y Gestión: Unknown