Algoritmos y estructuras de datos con programas verificados en dafny
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | español |
| Publicado: |
Madrid, España:
Garceta
2023
|
| Edición: | Segunda edición |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nam a22000007a 4500 | ||
|---|---|---|---|
| 003 | PE-LiUPU | ||
| 005 | 20260715194003.0 | ||
| 008 | 260123b |||||||| |||| 00| 0 spa d | ||
| 020 | |a 9788419034236 | ||
| 040 | |a PE-LiUPUJ |b spa |c PE-LiUPUJ |d PE-LiUPUJ |e rda | ||
| 082 | 0 | 4 | |2 20 |a 004.421 |b P349 2023 |
| 100 | |e Autor del libro |a Peña Marí, ricardo. | ||
| 245 | 1 | 0 | |a Algoritmos y estructuras de datos con programas verificados en dafny/ |c Ricardo Peña Marí |
| 250 | |a Segunda edición | ||
| 264 | 1 | |a Madrid, España: |b Garceta |c 2023 | |
| 300 | |a 382 páginas: |b Figuras; |c 24 cm. | ||
| 336 | |2 rdacontent | ||
| 337 | |2 rdacontent |a Sin mediación | ||
| 338 | |2 rdacarrier |a volumen | ||
| 504 | |a Bibliografía en páginas: 377 - 382 | ||
| 505 | |a Prólogo --- 1. Preliminares -- 2. Árboles equilibrados -- 3. Montículos -- 4. Grafos y particiones -- 5. El método divide y vencerás -- 6. El método voraz -- 7. Programación dinámica -- 8. Precondicionamiento: ajuste de cadenas -- 9. Exploración del espacio de soluciones -- 10. Problemas NP-completos y NP-difíciles -- Bibliografía -- Índice de figuras -- Prólogo. | ||
| 942 | |2 Dewey Decimal Classification |c Libro |n 0 | ||
| 999 | |c 42351 |d 42351 | ||
| 980 | |6 11 |a Adela Ito Cartagena Analista Documental |8 11 |g Adela Ito Cartagena Analista Documental | ||
| 952 | |0 No retirado |1 No perdido |2 Dewey Decimal Classification |4 No dañado |7 Disponible para préstamo |8 Colección General |a Biblioteca Juliaca |b Biblioteca Juliaca |c Sala principal |d 2026-01-23 |e Compra |l 0 |o 004.421 P349 2023 |p FJ14996 |r 2026-01-23 10:52:29 |t e1 |y Libro | ||