Algorítmica : diseño y análisis de algoritmos funcionales e imperativos /

El libro presenta diversos aspectos del diseño y análisis de aquellos algoritmos que transforman valores de entrada en resultados de salida. El diseño se basa principalmente en el uso de algunas de las técnicas más conocidas. El análisis se realiza atendiendo a criterios de corrección y eficiencia....

Descripción completa

Detalles Bibliográficos
Otros Autores: Galve Francés, Javier, González Moreno, Juan Carlos, Sánchez Calle, Angel, Velázquez Iturbide, J. Angel
Formato: Libro
Lenguaje:Español
Publicado: Wilmington ; Madrid : Addison-Wesley : RA-MA, 1983
Colección:Serie paradigma
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 01908nam a2200349a 44500
001 UBP01399
003 AR-CdUBP
005 20220310151334.0
008 151212suuuu#######|||||||||||||||||spa|d
020 |a 84-7897-116-5 
040 |a AR-CdUBP  |b spa 
041 |a spa 
245 0 0 |a Algorítmica :   |b diseño y análisis de algoritmos funcionales e imperativos /   |c Javier Galve Francés ... [et.al.] 
260 |a Wilmington ; Madrid :   |b Addison-Wesley : RA-MA,   |c 1983  
300 |a xxiv, 502 p. ;   |c 23 cm. 
490 0 |a Serie paradigma 
500 |a La Biblioteca posee: 1 ej. 
504 |a Bibliografía: p. 487-496 
505 0 |a Capítulo 1. Introducción a la programación. Capítulo 2. Especificación de algoritmos funcionales. Capítulo 3. Especificación de algoritmos imperativos. Capítulo 4. Estructuras de datos. Capítulo 5. Semántica y corrección de algoritmos. Capítulo 6. Complejidad de algoritmos. Capítulo 7. Algoritmos sencillos. Capítulo 8. Técnicas de diseño de algoritmos. Capítulo 9. Algoritmos elaborados. Capítulo 10. Una introducción a los problemas NP completos. Apéndices. A. Sintaxis del lenguaje de especificación. B. Ejemplos de algoritmos en SML y Modula-2. C. Tabla de caracteres asch. 
520 |a El libro presenta diversos aspectos del diseño y análisis de aquellos algoritmos que transforman valores de entrada en resultados de salida. El diseño se basa principalmente en el uso de algunas de las técnicas más conocidas. El análisis se realiza atendiendo a criterios de corrección y eficiencia. 
650 4 |a ALGORITMOS 
653 |a INFORMATICA 
700 1 |a Galve Francés, Javier 
700 1 |a González Moreno, Juan Carlos 
700 1 |a Sánchez Calle, Angel 
700 1 |a Velázquez Iturbide, J. Angel 
930 |a INFORMATICA 
931 |a 01399  |b UBP 
942 |c BK 
945 |a EBA 
984 |a 004.421  |b Al 38 
999 |c 17014  |d 17014