Algoritmos y estructuras de datos : con programas verificados en Dafny
| Título | Algoritmos y estructuras de datos : ;con programas verificados en Dafny ;Ricardo Peña Marí, catedrático de Lenguajes y Sistemas Informáticos, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid ; |
| Lugar de publicación | [Madrid] |
| Editorial | Garceta Grupo Editorial, |
| Fecha de publicación | [2019],©2019 |
| Descripción física o extensión | XVIII, 375 páginas |
| Otras características físicas | ilustraciones (blanco y negro) |
| Dimensiones | 24 cm |
| Depósito Legal | M 30472-2019 |
| Forma del contenido | Texto |
| Tipo de medio | sin mediación |
| Edición | Edición: 1ª. Impresión: 1ª |
| ISBN | 978-84-1728-927-0 |
| Nota | Bibliografía: páginas 371-375 |
Ejemplares disponibles 
| Signatura | 11/44953 |
| Localización | Salón General-Petición anticipada |
| Sede | Sede de Alcalá |
| Signatura | DL/2638432 |
| Localización | Ejemplar de conservación |
| Sede | Sede de Alcalá |
Tipo
Libro
Acceder a esta obra
Este recurso puede obtenerse en la propia Biblioteca Nacional de España, solicitando una copia, o por préstamo interbibliotecario (solo bibliotecas)