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€

Recull-ho a la botiga en 2 hores

Aquest producte no està disponible. Si us plau, selecciona una altra opció.

Afegir a favorits

Compra segura

Entrega en 1-2 dies laborables

Registra't i gaudeix de descomptes en cada compra

Enviament gratuït a partir de 19 €

Especial Nadal: s'accepten devolucions fins al 18 de gener

Productes de robòtica: no s'accepten devolucions a la botiga. Contacta amb atenció al client

Descripció

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.

Fitxa tècnica - Algoritmos y estructuras de datos

Tipus de producte: Llibre

Idioma: Castellà

EAN: 9788417289270

Referència Abacus: 1315749.43

Editorial: Garceta

Algoritmos y estructuras de datos

Peña Mari, Ricardo

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

5% descompte

Comprovar disponibilitat de Click&Collect

Indica la teva localitat per trobar la teva botiga més propera

Afectats	Finalitats	Base jurídica	Conservació
Usuaris	Gestionar les peticions d’informació o tràmits. Participar en les promocions, sortejos, concursos i esdeveniments organitzats per ABACUS SCCL i/o entitats col·laboradores. En cas que l'usuari ho sol·liciti, enviar informació personalitzada (també via electrònica) sobre notícies, ofertes, productes i serveis d’ABACUS SCCL i/o entitats col·laboradores, en base als seus interessos i preferències.	Consentiment (a través de l’acceptació de la Política de Privacitat). Es podrà revocar el consentiment en qualsevol moment sense que això afecti de forma retroactiva al tractament de dades personals realitzat fins el moment.	Durant el temps que sigui necessari per tal de gestionar la petició o tràmit. Durant el temps que sigui necessari per tal de gestionar la promoció, sorteig, concurs o esdeveniment. Fins que l'usuari manifesti , si escau, la seva voluntat de suprimir-les.
Candidats/es a llocs de treball	Donar curs a la seva candidatura en el procés de selecció al que hagi aplicat i tramitar la seva eventual incorporació a la plantilla d’ABACUS i, si escau, notificar-li o informar-li d'altres processos de selecció de personal d’ABACUS que puguin ser del seu interès.	Aplicació de mesures pre-contractuals per a l’eventual subscripció del contracte laboral.	Durant un màxim d’un (1) any per si sorgeixen nous procediments de selecció que encaixin amb el perfil del/de la candidat/a i mentre no se sol·liciti la seva supressió.

Afectats	Finalitats	Base jurídica	Conservació
Usuaris	Gestionar les peticions d’informació o tràmits. Participar en les promocions, sortejos, concursos i esdeveniments organitzats per ABACUS SCCL i/o entitats col·laboradores. En cas que l'usuari ho sol·liciti, enviar informació personalitzada (també via electrònica) sobre notícies, ofertes, productes i serveis d’ABACUS SCCL i/o entitats col·laboradores, en base als seus interessos i preferències.	Consentiment (a través de l’acceptació de la Política de Privacitat). Es podrà revocar el consentiment en qualsevol moment sense que això afecti de forma retroactiva al tractament de dades personals realitzat fins el moment.	Durant el temps que sigui necessari per tal de gestionar la petició o tràmit. Durant el temps que sigui necessari per tal de gestionar la promoció, sorteig, concurs o esdeveniment. Fins que l'usuari manifesti , si escau, la seva voluntat de suprimir-les.
Candidats/es a llocs de treball	Donar curs a la seva candidatura en el procés de selecció al que hagi aplicat i tramitar la seva eventual incorporació a la plantilla d’ABACUS i, si escau, notificar-li o informar-li d'altres processos de selecció de personal d’ABACUS que puguin ser del seu interès.	Aplicació de mesures pre-contractuals per a l’eventual subscripció del contracte laboral.	Durant un màxim d’un (1) any per si sorgeixen nous procediments de selecció que encaixin amb el perfil del/de la candidat/a i mentre no se sol·liciti la seva supressió.

Afectats	Finalitats	Base jurídica	Conservació
Usuaris	Gestionar les peticions d’informació o tràmits. Participar en les promocions, sortejos, concursos i esdeveniments organitzats per ABACUS SCCL i/o entitats col·laboradores. En cas que l'usuari ho sol·liciti, enviar informació personalitzada (també via electrònica) sobre notícies, ofertes, productes i serveis d’ABACUS SCCL i/o entitats col·laboradores, en base als seus interessos i preferències.	Consentiment (a través de l’acceptació de la Política de Privacitat). Es podrà revocar el consentiment en qualsevol moment sense que això afecti de forma retroactiva al tractament de dades personals realitzat fins el moment.	Durant el temps que sigui necessari per tal de gestionar la petició o tràmit. Durant el temps que sigui necessari per tal de gestionar la promoció, sorteig, concurs o esdeveniment. Fins que l'usuari manifesti , si escau, la seva voluntat de suprimir-les.
Candidats/es a llocs de treball	Donar curs a la seva candidatura en el procés de selecció al que hagi aplicat i tramitar la seva eventual incorporació a la plantilla d’ABACUS i, si escau, notificar-li o informar-li d'altres processos de selecció de personal d’ABACUS que puguin ser del seu interès.	Aplicació de mesures pre-contractuals per a l’eventual subscripció del contracte laboral.	Durant un màxim d’un (1) any per si sorgeixen nous procediments de selecció que encaixin amb el perfil del/de la candidat/a i mentre no se sol·liciti la seva supressió.