Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios.
Crie uma conta gratuitamente
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Verification, Model Checking, and Abstract Interpretation
Língua
Inglês
Inglês
Livro
Capa mole
This book constitutes the refereed proceedings of the 20th International Conference on Verification,...
Descrição completa
Código Libristo: 21040880
?
111 b
111 b
45.97
€
Armazenamento externo
Envio em 5-8 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
18.79
€
/
Capa mole
68.60
€
/
Livro de capa dura
72.44
€
/
Capa mole
28.28
€
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Verification, Model Checking, and Abstract Interpretation
Autor
Constantin Enea, Ruzica Piskac
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2019
Número de páginas
602
EAN
9783030112448
ISBN
3030112446
Código Libristo
21040880
Editoras
Springer Nature Switzerland AG
Peso
937
Dimensões
155 x 235 x 235
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
12.42
€
/
Capa mole
61.83
€
