Algoritmos y estructuras de datos : con programas verificados en Dafny /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Spanish |
| Publicado: |
Madrid, España :
Garceta,
2023.
|
| Edición: | 2 edición. |
| Materias: |
Sistema de Bibliotecas del Tecnológico de Costa Rica
| Número de Clasificación: |
005.73 |
|---|---|
| Copia | Disponible |