https://www.imosver.com/pt/libros/sat-based-scalable-formal-verification-solutions-00106765040010676504SAT-Based Scalable Formal Verification Solutions108.67https://static.serlogal.com/imagenes_small/9781441/978144194341.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9781441/978144194341.jpg0010676530114.3955.722010/11/199781441943415Gupta, AartiLibrosaño_2010idioma_InglêsIautor_Gupta, Aartisaga_Integrated Circuits and Systems
Artículo
SAT-Based Scalable Formal
Gupta Aarti
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.
