https://www.imosver.com/gl/libros/abstraction-refinement-for-large-scale-model-checking-00106764720010676472Abstraction Refinement for Large Scale Model Checking110.8https://static.serlogal.com/imagenes_small/9781489/978148999395.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9781489/978148999395.jpg001065641000106564110010676536116.6355.832014/12/069781489993953Wang, ChaoLibrosaño_2014idioma_InglésIautor_Wang, Chaosaga_Integrated Circuits and Systems
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.
