https://www.imosver.com/pt/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
Artículo
Abstraction Refinement fo
Wang Chao
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.
