https://www.imosver.com/gl/libros/verification-of-sequential-and-concurrent-programs-00106756080010675608Verification of Sequential and Concurrent Programs98.79https://static.serlogal.com/imagenes_small/9781848/978184882744.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9781848/978184882744.jpg0010675587103.9955.22009/10/059781848827448de Boer, Frank S.Librosaño_2009idioma_InglésIautor_de Boer, Frank S.saga_Texts in Computer Science
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.
