https://www.imosver.com/pt/libros/abstraction-refinement-and-proof-for-probabilistic-systems-00106284370010628437Abstraction, Refinement and Proof for Probabilistic Systems148.19https://static.serlogal.com/imagenes_small/9780387/978038740115.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9780387/978038740115.jpg0010628443155.9957.82004/11/199780387401157Morgan, Charles CarrollLibrosaño_2004idioma_InglêsIautor_Morgan, Charles Carrollsaga_Monographs in Computer Science
Artículo
Abstraction, Refinement a
Morgan Charles Carroll
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.
