https://www.imosver.com/gl/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_InglésIautor_Castéran, Pierresaga_Texts in Theoretical Computer Science. An EATCS Series
Este tipo de cookies permiten ao usuario a navegación a través dunha páxina web, plataforma ou aplicación e a utilización das diferentes opcións ou servizos que nelas existan.
imosverlaravel_session
Descrición
Esta cookie é necesaria para que o sitio web funcione e non se pode desactivar nos nosos sistemas.
Duración
Sesión
Dependencias
Dominio
imosver.com
OCT8NE
Descrición
Esta cookie utilízase para o correcto funcionamento do Chat de Oct8ne para prestar o servizo de atención ao cliente ao usuario.
Son aquelas que posibilitan o seguimento e análise do comportamento dos usuarios na nosa páxina. A información recollida utilízase para a medida da actividade dos usuarios na web e a elaboración de perfís de navegación dos usuarios.
_clsk
Descrición
Rexistra datos estatísticos do comportamento do visitante na web. Isto utilízase para análises internas por parte do operador da web.
Duración
1 ano
Dependencias
_clsk,MUID,_clck
Dominio
logglytrackingsession
Descrición
Identifica e rexistra a sesión do usuario con fins analíticos.
Duración
Sesión
Dependencias
Dominio
.imosver.com
GOOGLE_ANALYTICS
Descrición
Rexistra unha identificación única que se utiliza para xerar datos estatísticos sobre como utiliza o visitante o sitio web.
Duración
1 ano
Dependencias
Dominio
.imosver.com
Son aquelas que nos permiten adaptar a navegación na nosa páxina web ás súas preferencias (por exemplo, idioma, navegador utilizado, etc.).
_fbp
Descrición
Utilizado por Facebook para ofrecer unha serie de produtos publicitarios, como ofertas en tempo real de terceiros anunciantes.
