https://www.imosver.com/ca/libros/interactive-theorem-proving-and-program-development-00106269370010626937Interactive Theorem Proving and Program Development83.97https://static.serlogal.com/imagenes_small/9783642/978364205880.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9783642/978364205880.jpg001062695388.3954.422010/12/159783642058806Castéran, PierreLibrosaño_2010idioma_AnglèsIautor_Castéran, Pierresaga_Texts in Theoretical Computer Science. An EATCS Series
Aquest tipus de galetes permeten a l'usuari la navegació a través d'una pàgina web, plataforma o aplicació i la utilització de les diferents opcions o serveis que hi hagi.
imosverlaravel_session
Descripció
Aquesta galeta és necessària perquè el lloc web funcioni i no es pot desactivar en els nostres sistemes.
Duració
Sesión
Dependències
Domini
imosver.com
OCT8NE
Descripció
Aquesta galeta s'utilitza per al correcte funcionament del Xat d'Oct8ne per prestar el servei d'atenció al client a l'usuari.
Són aquelles que possibiliten el seguiment i anàlisi del comportament dels usuaris a la nostra pàgina. La informació recollida s'utilitza per a la mesura de l'activitat dels usuaris al lloc web i l'elaboració de perfils de navegació dels usuaris.
_clsk
Descripció
Registra dades estadístiques del comportament del visitant a la web. Això s'utilitza per a anàlisis interns per part de l'operador del lloc web.
Duració
1 any
Dependències
_clsk,MUID,_clck
Domini
logglytrackingsession
Descripció
Identifica i registra la sessió de l'usuari amb finalitats analítiques.
Duració
Sesión
Dependències
Domini
.imosver.com
GOOGLE_ANALYTICS
Descripció
Registra una identificació única que s'utilitza per generar dades estadístiques sobre com utilitza el visitant el lloc web.
Duració
1 any
Dependències
Domini
.imosver.com
Són aquelles que ens permeten adaptar la navegació a la nostra pàgina web a les seves preferències (per exemple, idioma, navegador utilitzat, etc.).
_fbp
Descripció
Utilitzat per Facebook per oferir una sèrie de productes publicitaris, com ara ofertes en temps real de tercers anunciants.
