Vista normal
Vista MARC
Diseño de Programas. Formalismo y Abstracción Ricardo, Peña Marí [Impreso]
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 8420541915
- 005.12 P43 2005
Contenidos:
Resumen: Este texto universitario presenta una amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la formal de programas iterativos y la especificación algebraica de tipos abstractos de datos.
La Eficiencias de los Algoritmos. -- Especificación de Problemas. -- Diseño Recursivo. -- Diseño Iterativo. -- Tipos Abstractos de Datos. -- Estructuras Lineales de Datos. -- Áboles. -- Tablas y Grafos.
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
![]() |
Biblioteca Cusco UTEA Biblioteca Puputi | E.P. Ingeniería de Sistemas e Informática | 005.12 P43 2005 (Navegar estantería(Abre debajo)) | Disponible | BCUS18020713 |
La Eficiencias de los Algoritmos. -- Especificación de Problemas. -- Diseño Recursivo. -- Diseño Iterativo. -- Tipos Abstractos de Datos. -- Estructuras Lineales de Datos. -- Áboles. -- Tablas y Grafos.
Este texto universitario presenta una amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la formal de programas iterativos y la especificación algebraica de tipos abstractos de datos.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.