Especificación, derivación y análisis de algoritmos : Ejercicios resueltos / Narcismo Martí Oliet, Clara María Segura Díaz, José Alberto Verdejo López.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- texto
- sin medio
- volumen
- 9788483222928
- 21 005.1 M375 2006
Item type | Current library | Collection | Call number | Materials specified | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) | Reserva | 005.1 M375 2006 (Browse shelf(Opens below)) | Ej. 1 | Available | Colección 1, Isla 1, Lado A, Módulo 3 | 100000309 |
Browsing Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) shelves, Collection: Reserva Close shelf browser (Hides shelf browser)
005.1 J88 2008 Fundamentos de programación : algoritmos, estructura de datos y objetos / | 005.1 J88 2013 Fundamentos generales de programación / | 005.1 L925 2009 Análisis y diseño de algoritmos : Implementaciones en C y Pascal / | 005.1 M375 2006 Especificación, derivación y análisis de algoritmos : Ejercicios resueltos / | 005.1 M689 2018 Modelo de madurez de ingeniería del software : versión 2.0 (MMIS V.2) / | 005.1 O771 2020 Desarrollo seguro en ingeniería del software : aplicaciones seguras con android, nodejs, python y c**. | 005.1 P197 2015 Ingeniería de Software / |
Posee índice onomástico
Incluye material bibliográfico en la página 187
1. Especificación de algoritmos -- 2. Verificación -- 3. Análisis de complejidad -- 4. Derivación de algoritmos iterativos -- 5. Derivación de algoritmos recursivos.
There are no comments on this title.