https://www.imosver.com/gl/libros/leveraging-applications-of-formal-methods-verification-and-validation-00106385380010638538Leveraging Applications of Formal Methods, Verification, and Validation98.79https://static.serlogal.com/imagenes_small/9783642/978364216557.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9783642/978364216557.jpg0010749495001074949600107307340010749494103.9955.22010/10/199783642165573VV.AA.Librosaño_2010idioma_InglésIautor_VV.AA.saga_Lecture Notes 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.
