"Datos.bne no es un reflejo en tiempo real del catálogo oficial de la BNE, sino que se actualiza periódicamente mediante procesos de carga y transformación de datos"
Se recomienda el uso de Mozilla Firefox para la navegación en este buscador
2018
2010
Hurtado Rodríguez, Nuria
2002
Corrección de algoritmos complejos, 2010---port. (Esther Lydia Silva Ramírez)
Verificación formal de algoritmos, 2010---port. (Esther Lydia Silva Ramírez) p. 1 de la cub. (Esther L. Silva Ramírez)