https://www.imosver.com/pt/libros/verification-model-checking-and-abstract-interpretation-00106360520010636052Verification, Model Checking, and Abstract Interpretation49.39https://static.serlogal.com/imagenes_small/9783662/978366249121.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9783662/978366249121.jpg001074949500107494960010730734001074949451.9952.62015/12/269783662491218VV.AA.Librosaño_2015idioma_InglêsIautor_VV.AA.saga_Lecture Notes in Computer Science
Artículo
Verification, Model Check
VV.AA.
SPRINGER
Aviso de Cookies
Utilizamos cookies para garantir a melhor experiência em nosso site.
Ler política de cookies.
Gestionar preferencias de cookies
Este tipo de cookies permitem ao usuário a navegação através de uma página web, plataforma ou aplicação e a utilização das diferentes opções ou serviços que nela existam.
imosverlaravel_session
Descrição
Este cookie é necessário para o funcionamento do site e não pode ser desativado em nossos sistemas.
Duração
Sesión
Dependências
Domínio
imosver.com
OCT8NE
Descrição
Este cookie é utilizado para o correto funcionamento do Chat da Oct8ne para prestar o serviço de atendimento ao cliente ao usuário.
São aquelas que possibilitam o acompanhamento e análise do comportamento dos usuários em nossa página. A informação recolhida é utilizada para a medição da atividade dos usuários na web e a elaboração de perfis de navegação dos usuários.
_clsk
Descrição
Regista dados estatísticos do comportamento do visitante no site. Isto é utilizado para análises internas pelo operador do website.
Duração
1 ano
Dependências
_clsk,MUID,_clck
Domínio
logglytrackingsession
Descrição
Identifica e regista a sessão do usuário para fins analíticos.
Duração
Sesión
Dependências
Domínio
.imosver.com
GOOGLE_ANALYTICS
Descrição
Regista um identificador único que é utilizado para gerar dados estatísticos sobre como o visitante utiliza o sítio web.
Duração
1 ano
Dependências
Domínio
.imosver.com
São aquelas que nos permitem adaptar a navegação em nosso site às suas preferências (ex.: idioma, navegador utilizado, etc.).
_fbp
Descrição
Utilizado pelo Facebook para oferecer uma série de produtos publicitários, como ofertas em tempo real de anunciantes terceiros.
