Algoritmos y estructuras de datos

Name: Algoritmos y estructuras de datos
SKU: 1315749.43
Price: 28.50 EUR
Availability: OutOfStock

Peña Mari, Ricardo

~~30,00€~~ 28,50€

Recógelo en tienda en 2 horas

Este producto no está disponible. Por favor, selecciona otra opción.

Añadir a favoritos

Compra segura

Entrega en 1-2 días laborables

Regístrate y disfruta de descuentos en cada compra

Envío gratuito a partir de 19 €

Especial Navidad: se aceptan devoluciones hasta el 18 de enero

Productos de robótica: no se aceptan devoluciones en la tienda. Contacta con atención al cliente.

Descripción

Este libro universitario presenta una amplia variedadde estructuras de datos y de métodos algorítmicos con el objetivo de servir como texto base para uno o dos cursos avanzados de programación. El contenido es apropiado para un semestre dedicado a estructuras de datos eficientes y otro semestre a métodos algorítmicos. Supone una exposición previa a dos o tres semestres de materias de programación donde se hayan tratadolos conceptos básicos, la sintaxis y la semántica deun lenguaje de programación, la recursión, las estructuras de datos lineales y las nociones de clase y objeto. Es también recomendable tener conocimientos previos o simultáneos del paradigma de programación funcional, fundamentos de especificación y verificación formal de programas y de lógica y matemática discreta.El enfoque del libro es original por el hecho de quecasi las dos terceras partes de los algoritmos se presentan especificados y verificados formalmente en laplataforma Dafny de verificación asistida. Como material asociado al libro, se distribuyen los ficheros Dafny con el texto completo de todos los algoritmos, junto con sus especificaciones formales y asertos intermedios necesarios. El lector puede reproducir la verificación de los programas sin más que procesarlos condicha plataforma. Dicho material puede descargarse desde la web de la editorial Garceta.

Ficha técnica - Algoritmos y estructuras de datos

Tipo de producto: Libro

Idioma: Español

EAN: 9788417289270

Referencia Abacus: 1315749.43

Editorial: Garceta

Algoritmos y estructuras de datos

Peña Mari, Ricardo

~~30,00€~~ 28,50€

5% descuento

Comprobar disponibilidad de Click&Collect

Indica tu localidad para encontrar tu tienda más cercana

Afectados	Finalidades	Base jurídica	Conservación
Usuarios	Gestionar las peticiones de información o trámites. Participar en las promociones, sorteos, concursos y eventos organizados por ABACUS SCCL y/o entidades colaboradoras. En caso de que el usuario lo solicite, enviar información personalizada (también vía electrónica) sobre noticias, ofertas, productos y servicios de ABACUS SCCL y/o entidades colaboradoras, en base a sus intereses y preferencias.	Consentimiento (a través de la aceptación de la Política de Privacidad). Se podrá revocar el consentimiento en cualquier momento sin que esto afecte de forma retroactiva al tratamiento de datos personales realizado hasta el momento.	Durante el tiempo que sea necesario para gestionar la petición o trámite. Durante el tiempo que sea necesario para gestionar la promoción, sorteo, concurso o evento. Hasta que el usuario manifieste su voluntad de suprimirlas.
Candidatos/as a puestos de trabajo	Dar curso a su candidatura en el proceso de selección al que haya aplicado y tramitar su eventual incorporación a la plantilla de ABACUS y, si procede, notificarle o informarle de otros procesos de selección de personal de ABACUS que puedan ser de su interés.	Aplicación de medidas precontractuales para la eventual suscripción del contrato laboral.	Durante un máximo de un (1) año por si surgen nuevos procedimientos de selección que encajen con el perfil del/de la candidato/a y mientras no se solicite su supresión.

Afectados	Finalidades	Base jurídica	Conservación
Usuarios	Gestionar las peticiones de información o trámites. Participar en las promociones, sorteos, concursos y eventos organizados por ABACUS SCCL y/o entidades colaboradoras. En caso de que el usuario lo solicite, enviar información personalizada (también vía electrónica) sobre noticias, ofertas, productos y servicios de ABACUS SCCL y/o entidades colaboradoras, en base a sus intereses y preferencias.	Consentimiento (a través de la aceptación de la Política de Privacidad). Se podrá revocar el consentimiento en cualquier momento sin que esto afecte de forma retroactiva al tratamiento de datos personales realizado hasta el momento.	Durante el tiempo que sea necesario para gestionar la petición o trámite. Durante el tiempo que sea necesario para gestionar la promoción, sorteo, concurso o evento. Hasta que el usuario manifieste su voluntad de suprimirlas.
Candidatos/as a puestos de trabajo	Dar curso a su candidatura en el proceso de selección al que haya aplicado y tramitar su eventual incorporación a la plantilla de ABACUS y, si procede, notificarle o informarle de otros procesos de selección de personal de ABACUS que puedan ser de su interés.	Aplicación de medidas precontractuales para la eventual suscripción del contrato laboral.	Durante un máximo de un (1) año por si surgen nuevos procedimientos de selección que encajen con el perfil del/de la candidato/a y mientras no se solicite su supresión.

Afectados	Finalidades	Base jurídica	Conservación
Usuarios	Gestionar las peticiones de información o trámites. Participar en las promociones, sorteos, concursos y eventos organizados por ABACUS SCCL y/o entidades colaboradoras. En caso de que el usuario lo solicite, enviar información personalizada (también vía electrónica) sobre noticias, ofertas, productos y servicios de ABACUS SCCL y/o entidades colaboradoras, en base a sus intereses y preferencias.	Consentimiento (a través de la aceptación de la Política de Privacidad). Se podrá revocar el consentimiento en cualquier momento sin que esto afecte de forma retroactiva al tratamiento de datos personales realizado hasta el momento.	Durante el tiempo que sea necesario para gestionar la petición o trámite. Durante el tiempo que sea necesario para gestionar la promoción, sorteo, concurso o evento. Hasta que el usuario manifieste su voluntad de suprimirlas.
Candidatos/as a puestos de trabajo	Dar curso a su candidatura en el proceso de selección al que haya aplicado y tramitar su eventual incorporación a la plantilla de ABACUS y, si procede, notificarle o informarle de otros procesos de selección de personal de ABACUS que puedan ser de su interés.	Aplicación de medidas precontractuales para la eventual suscripción del contrato laboral.	Durante un máximo de un (1) año por si surgen nuevos procedimientos de selección que encajen con el perfil del/de la candidato/a y mientras no se solicite su supresión.