Algoritmos y estructuras de datos : con programas verificados en Dafny /

Detalles Bibliográficos
Autor principal: Peña-Marí, Ricardo (creador/a.)
Formato: Libro
Lenguaje:Spanish
Publicado: Madrid, España : Garceta, 2023.
Edición:2 edición.
Materias:
Descripción
Descripción Física:382 páginas.
Bibliografía:Bibliografía.
ISBN:9788419034236