Algoritmos y estructuras de datos : con programas verificados en Dafny /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
Madrid, España :
Garceta,
2023.
|
| Edition: | 2 edición. |
| Subjects: |
Sistema de Bibliotecas del Tecnológico de Costa Rica
| Call Number: |
005.73 |
|---|---|
| Copy | Available |